Merge "Use PHP_OS rather than php_uname, which may be disabled"
[lhc/web/wiklou.git] / resources / src / mediawiki /
drwxr-xr-x   ..
drwxr-xr-x - images
-rw-r--r-- 23974 mediawiki.Title.js
-rw-r--r-- 12845 mediawiki.Uri.js
-rw-r--r-- 1228 mediawiki.apihelp.css
-rw-r--r-- 128 mediawiki.apipretty.css
-rw-r--r-- 2312 mediawiki.confirmCloseWindow.js
-rw-r--r-- 935 mediawiki.content.json.css
-rw-r--r-- 4528 mediawiki.cookie.js
-rw-r--r-- 52 mediawiki.debug.init.js
-rw-r--r-- 9288 mediawiki.debug.js
-rw-r--r-- 2409 mediawiki.debug.less
-rw-r--r-- 1907 mediawiki.errorLogger.js
-rw-r--r-- 405 mediawiki.feedback.css
-rw-r--r-- 15782 mediawiki.feedback.js
-rw-r--r-- 1108 mediawiki.feedback.spinner.gif
-rw-r--r-- 2000 mediawiki.filewarning.js
-rw-r--r-- 383 mediawiki.filewarning.less
-rw-r--r-- 269 mediawiki.helplink.less
-rw-r--r-- 150 mediawiki.hidpi.js
-rw-r--r-- 2232 mediawiki.hlist.css
-rw-r--r-- 466 mediawiki.hlist.js
-rw-r--r-- 11395 mediawiki.htmlform.js
-rw-r--r-- 713 mediawiki.icon.less
-rw-r--r-- 8280 mediawiki.inspect.js
-rw-r--r-- 41906 mediawiki.jqueryMsg.js
-rw-r--r-- 1923 mediawiki.jqueryMsg.peg
-rw-r--r-- 82758 mediawiki.js
-rw-r--r-- 2816 mediawiki.log.js
-rw-r--r-- 453 mediawiki.notification.css
-rw-r--r-- 42 mediawiki.notification.hideForPrint.css
-rw-r--r-- 17026 mediawiki.notification.js
-rw-r--r-- 585 mediawiki.notify.js
-rw-r--r-- 2684 mediawiki.pager.tablePager.less
-rw-r--r-- 802 mediawiki.searchSuggest.css
-rw-r--r-- 7599 mediawiki.searchSuggest.js
-rw-r--r-- 40 mediawiki.sectionAnchor.css
-rw-r--r-- 201 mediawiki.startUp.js
-rw-r--r-- 3849 mediawiki.template.js
-rw-r--r-- 300 mediawiki.template.mustache.js
-rw-r--r-- 1590 mediawiki.toc.js
-rw-r--r-- 7602 mediawiki.user.js
-rw-r--r-- 994 mediawiki.userSuggest.js
-rw-r--r-- 18047 mediawiki.util.js