Merge "Allow users with deleterevision but not deletedhistory to delete revisions"
[lhc/web/wiklou.git] / resources / src / mediawiki.special /
drwxr-xr-x   ..
drwxr-xr-x - images
-rw-r--r-- 1659 mediawiki.special.apisandbox.css
-rw-r--r-- 50157 mediawiki.special.apisandbox.js
-rw-r--r-- 51 mediawiki.special.apisandbox.top.css
-rw-r--r-- 140 mediawiki.special.block.css
-rw-r--r-- 1356 mediawiki.special.block.js
-rw-r--r-- 795 mediawiki.special.changeslist.css
-rw-r--r-- 1390 mediawiki.special.changeslist.enhanced.css
-rw-r--r-- 520 mediawiki.special.changeslist.legend.css
-rw-r--r-- 634 mediawiki.special.changeslist.legend.js
-rw-r--r-- 312 mediawiki.special.changeslist.visitedstatus.js
-rw-r--r-- 482 mediawiki.special.comparepages.styles.less
-rw-r--r-- 2220 mediawiki.special.css
-rw-r--r-- 253 mediawiki.special.edittags.css
-rw-r--r-- 739 mediawiki.special.edittags.js
-rw-r--r-- 1185 mediawiki.special.import.js
-rw-r--r-- 76 mediawiki.special.movePage.css
-rw-r--r-- 339 mediawiki.special.movePage.js
-rw-r--r-- 332 mediawiki.special.pageLanguage.js
-rw-r--r-- 122 mediawiki.special.pagesWithProp.css
-rw-r--r-- 10660 mediawiki.special.preferences.js
-rw-r--r-- 1008 mediawiki.special.preferences.styles.css
-rw-r--r-- 926 mediawiki.special.recentchanges.js
-rw-r--r-- 147 mediawiki.special.search.css
-rw-r--r-- 1949 mediawiki.special.search.js
-rw-r--r-- 2937 mediawiki.special.search.styles.css
-rw-r--r-- 257 mediawiki.special.undelete.js
-rw-r--r-- 194 mediawiki.special.unwatchedPages.css
-rw-r--r-- 1876 mediawiki.special.unwatchedPages.js
-rw-r--r-- 17374 mediawiki.special.upload.js
-rw-r--r-- 244 mediawiki.special.upload.styles.css
-rw-r--r-- 1523 mediawiki.special.userlogin.common.css
-rw-r--r-- 671 mediawiki.special.userlogin.login.css
-rw-r--r-- 1657 mediawiki.special.userlogin.signup.css
-rw-r--r-- 4201 mediawiki.special.userlogin.signup.js
-rw-r--r-- 212 mediawiki.special.userrights.js
-rw-r--r-- 299 mediawiki.special.version.css
-rw-r--r-- 527 mediawiki.special.watchlist.js
drwxr-xr-x - templates