Merge "Remove silly 'm' prefix from StubObject/DeprecatedGlobal members"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 27 May 2014 18:53:00 +0000 (18:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 27 May 2014 18:53:00 +0000 (18:53 +0000)
commitb941a11623ee1eac9418051a92cc679f41d99c44
tree1beb65a93821635893a00b8187c8ebc4926a03de
parentae1ba3ca1d6b48e17545e8fb43fe95fc198a7dd9
parent67b2557da1f2cebbc900e1963fa27e9e307bec8a
Merge "Remove silly 'm' prefix from StubObject/DeprecatedGlobal members"
includes/DeprecatedGlobal.php