Preferences::miscPreferences: Hard-deprecate this
authorJames D. Forrester <jforrester@wikimedia.org>
Mon, 5 Nov 2018 18:53:02 +0000 (10:53 -0800)
committerJames D. Forrester <jforrester@wikimedia.org>
Mon, 5 Nov 2018 18:53:02 +0000 (10:53 -0800)
Change-Id: Ic1bdf7fc132a1410af1ac24a4c0b8fbad3a6158e

includes/Preferences.php

index 6d379dc..ab5777f 100644 (file)
@@ -202,6 +202,7 @@ class Preferences {
         * @param array &$defaultPreferences
         */
        public static function miscPreferences( $user, IContextSource $context, &$defaultPreferences ) {
+               wfDeprecated( __METHOD__, '1.31' );
        }
 
        /**