Release note for Id83eda95
[mediawiki.git] / resources / 
tree33fcfbfc90122dc099f689d637a3093019b2aa78
drwxr-xr-x   ..
-rw-r--r-- 73395 Resources.php
-rw-r--r-- 6261 ResourcesOOUI.php
drwxr-xr-x - assets
drwxr-xr-x - lib
drwxr-xr-x - src