Rename various $wikiId fields/parameters to $dbDomain in user classes
[lhc/web/wiklou.git] / includes / MediaWikiServices.php
index 9dbfc1b..689477b 100644 (file)
@@ -1,4 +1,5 @@
 <?php
+
 namespace MediaWiki;
 
 use ActorMigration;
@@ -226,6 +227,7 @@ class MediaWikiServices extends ServiceContainer {
        }
 
        /** @noinspection PhpDocSignatureInspection */
+
        /**
         * Salvages the state of any salvageable service instances in $other.
         *