Merge "Remove ugly $wgTitle usage from edit.php maintenance script"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 9 Dec 2013 12:14:27 +0000 (12:14 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 9 Dec 2013 12:14:27 +0000 (12:14 +0000)
commitddff639b7566f72f0c2dda302280de2ee6774b7f
treec92a0c1f30664fd86ef1050fe7b4cb5dfee3a80e
parentcbc4e5c6b25153e61250bc77f8147584c0167bd3
parent41a6bd786ee27bbb9776ac0c0a7d7f5ecc91216c
Merge "Remove ugly $wgTitle usage from edit.php maintenance script"