Merge "Make update.php file executable"
[mediawiki.git] / maintenance / dev / 
tree8f1b3937e1aadd34d24f9d567117a336c39abc5b
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