Merge "Make update.php file executable"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 12 May 2014 10:36:05 +0000 (10:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 12 May 2014 10:36:05 +0000 (10:36 +0000)
commit9e0774551bec9201de2f26521a13a81acd7c5fbd
tree1b7771377e399cd8f01f367aef7adcc171f81979
parent37ead592de02270fc5fe9d8614157900fde4c3b1
parentde3a91f9291c52967554c824413e6ddab83c1ef9
Merge "Make update.php file executable"