Merge "Miscellaneous indentation tweaks"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 28 Feb 2017 18:38:36 +0000 (18:38 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 28 Feb 2017 18:38:36 +0000 (18:38 +0000)
19 files changed:
1  2 
includes/Block.php
includes/DefaultSettings.php
includes/EditPage.php
includes/MagicWord.php
includes/Sanitizer.php
includes/Title.php
includes/api/ApiQueryRecentChanges.php
includes/content/ContentHandler.php
includes/content/TextContentHandler.php
includes/exception/UserNotLoggedIn.php
includes/installer/PostgresUpdater.php
includes/libs/CSSMin.php
includes/libs/StatusValue.php
includes/libs/xmp/XMP.php
includes/specialpage/LoginSignupSpecialPage.php
includes/specials/SpecialRecentchanges.php
includes/user/User.php
languages/Language.php
languages/LanguageConverter.php

Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge