Merge "resourceloader: Move startup code from PHP to startup.js"
[mediawiki.git] / resources / 
tree1a3b6ffd9e200a62ba54681a9c027b0705e7ee0e
drwxr-xr-x   ..
-rw-r--r-- 62811 Resources.php
-rw-r--r-- 4429 ResourcesOOUI.php
drwxr-xr-x - assets
drwxr-xr-x - lib
drwxr-xr-x - src