| 
						
					 | 
					
						
						
							
						
						34f956bc25
					 | 
					
						
						
							
							api2/access.rs: add ticket api
						
						
						
						
						
						
					 | 
					
						2019-01-30 15:16:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d1a35593cb
					 | 
					
						
						
							
							ServerAdministration.js: new widget
						
						
						
						
						
						
					 | 
					
						2019-01-25 13:10:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d85facd1d2
					 | 
					
						
						
							
							DataStoreConfig.js: new widget
						
						
						
						
						
						
					 | 
					
						2019-01-25 13:04:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						864e85f4ff
					 | 
					
						
						
							
							www/OnlineHelpInfo.js: add dummy to avoid warnings
						
						
						
						
						
						
					 | 
					
						2019-01-25 12:37:01 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b0ee976fbf
					 | 
					
						
						
							
							gui: add navigation tree
						
						
						
						
						
						
					 | 
					
						2019-01-22 11:48:00 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4b26195c6a
					 | 
					
						
						
							
							extract version from environment
						
						
						
						
						
						
					 | 
					
						2018-12-05 14:40:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						03862a2eeb
					 | 
					
						
						
							
							Utils.js: add code to make api3 request
						
						
						
						
						
						
					 | 
					
						2018-12-05 12:42:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e4dc0a14ac
					 | 
					
						
						
							
							add VersionInfo.js
						
						
						
						
						
						
					 | 
					
						2018-12-04 17:58:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5c7a1b15c8
					 | 
					
						
						
							
							start the GUI
						
						
						
						
						
						
					 | 
					
						2018-12-04 17:53:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |