mediawiki.legacy: Use 'none' rather than 'initial' to remove border
[lhc/web/wiklou.git] / resources /
drwxr-xr-x   ..
-rw-r--r-- 62677 Resources.php
-rw-r--r-- 4491 ResourcesOOUI.php
drwxr-xr-x - assets
drwxr-xr-x - lib
drwxr-xr-x - src