Added more Setup.php profiling
[mediawiki.git] / maintenance / dev / 
tree15d3e99629df431025997b260f66d3120c365056
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