Kill DeviceDetection
[mediawiki.git] / resources / mediawiki.special / 
tree40b710522abdc5825d96ee97c024de0e877e65f7
drwxr-xr-x   ..
drwxr-xr-x - images
-rw-r--r-- 1421 mediawiki.special.block.js
-rw-r--r-- 426 mediawiki.special.changeemail.css
-rw-r--r-- 1296 mediawiki.special.changeemail.js
-rw-r--r-- 1216 mediawiki.special.changeslist.css
-rw-r--r-- 5148 mediawiki.special.css
-rw-r--r-- 1073 mediawiki.special.javaScriptTest.js
-rw-r--r-- 77 mediawiki.special.js
-rw-r--r-- 121 mediawiki.special.movePage.js
-rw-r--r-- 318 mediawiki.special.preferences.css
-rw-r--r-- 5548 mediawiki.special.preferences.js
-rw-r--r-- 897 mediawiki.special.recentchanges.js
-rw-r--r-- 399 mediawiki.special.search.css
-rw-r--r-- 1573 mediawiki.special.search.js
-rw-r--r-- 275 mediawiki.special.undelete.js
-rw-r--r-- 9289 mediawiki.special.upload.js