Merge "Fix ServiceOptions type in constructor documentation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 7 Jun 2019 08:05:54 +0000 (08:05 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 7 Jun 2019 08:05:54 +0000 (08:05 +0000)
includes/preferences/DefaultPreferencesFactory.php

index 1ba6d99..beed60b 100644 (file)
@@ -113,7 +113,7 @@ class DefaultPreferencesFactory implements PreferencesFactory {
        /**
         * Do not call this directly.  Get it from MediaWikiServices.
         *
-        * @param array|Config $options Config accepted for backwards compatibility
+        * @param ServiceOptions|Config $options Config accepted for backwards compatibility
         * @param Language $contLang
         * @param AuthManager $authManager
         * @param LinkRenderer $linkRenderer