Merge "Define 'MW_UPDATER' when running update.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 5 Dec 2013 21:59:32 +0000 (21:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 5 Dec 2013 21:59:32 +0000 (21:59 +0000)
commite0d92d376b3c326c2a3c25b2956f1b53939007af
tree36a2b25597e8395dc43b1bb6547262043cbecd67
parent153bd8f5e01103baecb098e382799df8c25176f5
parent4e05dd808000e19ea4af8d16b0a74e4d2b575ef9
Merge "Define 'MW_UPDATER' when running update.php"
maintenance/update.php