Merge "Make update.php file executable"
[mediawiki.git] / maintenance / hiphop / 
tree715a81c935b63192b1b1792bd93c5e59a42aa977
drwxr-xr-x   ..
-rwxr-xr-x 479 run-server
-rw-r--r-- 482 server.conf