Merge "mediawiki.page.patrol.ajax: Remove dependency on mediawiki.page.startup"
[lhc/web/wiklou.git] / resources /
drwxr-xr-x   ..
-rw-r--r-- 83759 Resources.php
-rw-r--r-- 5837 ResourcesOOUI.php
drwxr-xr-x - assets
drwxr-xr-x - lib
drwxr-xr-x - src