Merge "Typo in documentation: wgMaxShell not wgShellMax"
[mediawiki.git] / maintenance / dev / includes / 
tree462cc1179bd744823ef391ac67e0efaa8d4a8524
drwxr-xr-x   ..
-rw-r--r-- 538 php.sh
-rw-r--r-- 204 require-php.sh
-rw-r--r-- 3340 router.php