Merge "(bug 42600) (bug 24375) Fix doMaintenance.php exit procedures."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 20 Feb 2013 19:36:45 +0000 (19:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 20 Feb 2013 19:36:45 +0000 (19:36 +0000)
commita37fc7349849de11c68167236d8ad05bb9275bc3
treec7c3dff3b0082945f6da2516e308a47f4aceecfc
parent89a222dd861917f6d34f5637a269322a22528d42
parentc628b6d121b49319e783dd80f7cae4284807634b
Merge "(bug 42600) (bug 24375) Fix doMaintenance.php exit procedures."