Merge "Make update.php file executable"
[mediawiki.git] / maintenance / dev / includes / 
treea7040e0047c6ebf1463111ee10499797e6c19dd8
drwxr-xr-x   ..
-rw-r--r-- 537 php.sh
-rw-r--r-- 204 require-php.sh
-rw-r--r-- 3340 router.php