Merge "resourceloader: Remove redundant UA-check for Opera 12"
[lhc/web/wiklou.git] / resources / src / startup /
drwxr-xr-x   ..
-rw-r--r-- 77469 mediawiki.js
-rw-r--r-- 692 mediawiki.log.js
-rw-r--r-- 1981 mediawiki.requestIdleCallback.js
-rw-r--r-- 1953 profiler.js
-rw-r--r-- 4083 startup.js