Merge "No spaces after (casts)"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 4 Sep 2013 18:14:05 +0000 (18:14 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 4 Sep 2013 18:14:05 +0000 (18:14 +0000)
commitedb4ed713cce3cb84971674556f61c9f9e4079ab
tree0c06994edbacb2c7a6a9c2bc67fa4b881e7c27c8
parent2367c317c089dfabcf20e9ca5522725e86e93059
parentdf8ec1e2161a62a7c260a425e28154f1795cca31
Merge "No spaces after (casts)"
includes/GlobalFunctions.php
includes/OutputPage.php
languages/Language.php