Paladox  
		
	
	b85a4d41eb 
	
	
	Merge branch 'stable-3.0'  
		
			... 
			* stable-3.0:
  Highlight svg as xml
  Fix some corner cases with the download dropdown
  Update highlight.js
Change-Id: I8ef5b8c5099d85ead7b43633b7a11f1a89b1fdb7 
		
	 
 
		2019-10-09 20:44:38 +01:00 
	 
	
	
	
		  ..
	 
	
	
		
			
			
			
			
			
			2019-09-04 16:35:55 +09:00 
		 
	
		
			
			
			
			
			
			2019-09-04 16:35:55 +09:00 
		 
	
		
			
			
			
			
			
			2019-09-02 00:42:25 +02:00 
		 
	
		
			
			
			
			
			
			2018-03-26 14:14:57 -04:00 
		 
	
		
			
			
			
			
			
			2019-09-02 00:42:25 +02:00 
		 
	
		
			
			
			
			
			
			2019-09-05 08:17:48 +09:00 
		 
	
		
			
			
			
			
			
			2019-09-02 00:42:25 +02:00 
		 
	
		
			
			
			
			
			
			2019-09-02 00:42:25 +02:00 
		 
	
		
			
			
			
			
			
			2019-09-05 10:14:57 +02:00 
		 
	
		
			
			
			
			
			
			2019-09-04 16:35:55 +09:00 
		 
	
		
			
			
			
			
			
			2019-01-09 23:10:35 +01:00 
		 
	
		
			
			
			
			
			
			2019-09-05 08:17:48 +09:00 
		 
	
		
			
			
			
			
			
			2019-09-19 10:20:32 +02:00 
		 
	
		
			
			
			
			
			
			2019-09-04 16:35:55 +09:00 
		 
	
		
			
			
			
			
			
			2019-10-09 15:01:07 +00:00 
		 
	
		
			
			
			
			
			
			2019-09-04 16:35:55 +09:00 
		 
	
		
			
			
			
			
			
			2019-09-04 16:35:55 +09:00 
		 
	
		
			
			
			
			
			
			2019-09-05 08:17:48 +09:00 
		 
	
		
			
			
			
			
			
			2019-09-06 11:47:45 +09:00 
		 
	
		
			
			
			
			
			
			2019-05-26 19:48:35 +00:00 
		 
	
		
			
			
			
			
			
			2019-09-02 00:42:25 +02:00 
		 
	
		
			
			
			
			
			
			2019-09-04 16:35:55 +09:00 
		 
	
		
			
			
			
			
			
			2019-09-02 00:42:25 +02:00 
		 
	
		
			
			
			
			
			
			2019-09-02 00:42:25 +02:00 
		 
	
		
			
			
			
			
			
			2019-09-02 00:42:25 +02:00 
		 
	
		
			
			
			
			
			
			2019-09-27 09:49:41 +02:00 
		 
	
		
			
			
			
			
			
			2019-09-18 18:37:06 +09:00 
		 
	
		
			
			
			
			
			
			2019-09-02 00:42:25 +02:00 
		 
	
		
			
			
			
			
			
			2019-09-02 00:42:25 +02:00 
		 
	
		
			
			
			
			
			
			2019-01-08 23:11:59 +01:00 
		 
	
		
			
			
			
			
			
			2019-09-10 17:00:31 +09:00 
		 
	
		
			
			
			
			
			
			2019-09-04 16:35:55 +09:00 
		 
	
		
			
			
			
			
			
			2019-09-04 16:35:55 +09:00 
		 
	
		
			
			
			
			
			
			2019-09-26 20:14:15 +00:00 
		 
	
		
			
			
			
			
			
			2019-08-29 10:42:14 -04:00 
		 
	
		
	
		
	
		
			
			
			
			
			
			2016-06-07 18:59:40 +00:00 
		 
	
		
			
			
			
			
			
			2016-08-19 04:05:06 +00:00 
		 
	
		
			
			
			
			
			
			2018-08-22 15:21:26 +00:00 
		 
	
		
			
			
			
			
			
			2016-06-09 09:31:58 +00:00 
		 
	
		
			
			
			
			
			
			2018-03-26 14:14:57 -04:00 
		 
	
		
			
			
			
			
			
			2016-06-10 06:31:21 +02:00 
		 
	
		
			
			
			
			
			
			2017-03-28 15:26:29 +00:00 
		 
	
		
			
			
			
			
			
			2016-09-21 11:19:22 +02:00 
		 
	
		
			
			
			
			
			
			2016-04-04 20:33:27 -04:00 
		 
	
		
			
			
			
			
			
			2019-01-23 11:21:14 +00:00 
		 
	
		
	
		
			
			
			
			
			
			2018-05-31 08:06:19 +09:00 
		 
	
		
			
			
			
			
			
			2016-09-13 15:14:32 +00:00 
		 
	
		
			
			
			
			
			
			2016-03-03 23:49:18 -05:00 
		 
	
		
			
			
			
			
			
			2018-08-22 15:21:26 +00:00 
		 
	
		
	
		
			
			
			
			
			
			2016-07-25 13:47:30 -07:00 
		 
	
		
			
			
			
			
			
			2016-08-22 09:45:33 -07:00 
		 
	
		
	
		
	
		
			
			
			
			
			
			2016-11-16 01:24:59 +00:00 
		 
	
		
			
			
			
			
			
			2019-09-18 17:05:52 +09:00 
		 
	
		
			
			
			
			
			
			2016-03-15 15:22:39 -07:00 
		 
	
		
	
		
			
			
			
			
			
			2016-04-01 13:11:02 -04:00 
		 
	
		
	
		
			
			
			
			
			
			2015-11-12 19:01:53 -05:00 
		 
	
		
			
			
			
			
			
			2015-11-12 19:01:53 -05:00 
		 
	
		
	
		
			
			
			
			
			
			2015-11-12 19:01:53 -05:00 
		 
	
		
	
		
	
		
			
			
			
			
			
			2019-02-08 11:18:10 +00:00 
		 
	
		
	
		
			
			
			
			
			
			2018-05-31 08:13:48 +09:00 
		 
	
		
	
		
			
			
			
			
			
			2019-05-09 07:47:56 +02:00