Implement extension registration from an extension.json file
[mediawiki.git] / resources / 
treeb3a392b3aec970b59395b20a6b51884eefaa409c
drwxr-xr-x   ..
-rw-r--r-- 55760 Resources.php
drwxr-xr-x - assets
drwxr-xr-x - lib
drwxr-xr-x - src