Implement extension registration from an extension.json file
[mediawiki.git] / maintenance / dev / 
tree023a1c8087fa0cdc41f1fb1e5ea5950276fc5aee
drwxr-xr-x   ..
-rw-r--r-- 687 README
drwxr-xr-x - includes
-rwxr-xr-x 201 install.sh
-rwxr-xr-x 487 installmw.sh
-rwxr-xr-x 1366 installphp.sh
-rwxr-xr-x 333 start.sh