| about.js | Rename themes -> flavours ? ? | 2017-12-03 23:26:40 -08:00 | 
		
			
			
			
			
				| error.js | Port upstream's javascript to the error page | 2019-02-17 12:27:01 +01:00 | 
		
			
			
			
			
				| home.js | Rename themes -> flavours ? ? | 2017-12-03 23:26:40 -08:00 | 
		
			
			
			
			
				| share.js | Rename themes -> flavours ? ? | 2017-12-03 23:26:40 -08:00 |