| .. | 
			
		
		
			
				
					| 
						
							
						
						Web.js
					 | 
				
				
					3b5110bc25
					Use correct names after recent renames / moves.
				 | 
				10 anni fa | 
			
		
			
				
					| 
						
							
						
						Web.st
					 | 
				
				
					40d951add7
					Platform-Browser introduced
				 | 
				10 anni fa | 
			
		
			
				
					| 
						
							
						
						Wrappers-JQuery.js
					 | 
				
				
					40d951add7
					Platform-Browser introduced
				 | 
				10 anni fa | 
			
		
			
				
					| 
						
							
						
						Wrappers-JQuery.st
					 | 
				
				
					40d951add7
					Platform-Browser introduced
				 | 
				10 anni fa |