Merge "ResourceLoader: Document the clientPrefs system and make Skin option"

2 files changed, 0 insertions, 16 deletions

diff --git a/docs/config-schema.yaml b/docs/config-schema.yaml
index 9f66140cc72f..668763480dfd 100755
--- a/docs/config-schema.yaml
+++ b/docs/config-schema.yaml
@@ -3215,16 +3215,6 @@ config-schema:
             via the `useskin` query parameter. To uninstall a skin, remove its inclusion
             from LocalSettings.php.
             @see \SkinFactory::getAllowedSkins
-    ResourceLoaderClientPreferences:
-        default: false
-        description: |-
-            Enable client-side preferences for unregistered users.
-            This is only supported for unregistered users. For registered users, skins
-            and extensions must use user preferences (e.g. hidden or API-only options)
-            and swap class names server-side through the Skin interface.
-            @warning EXPERIMENTAL!
-            @since 1.40
-            @see \MediaWiki\ResourceLoader\ClientHtml
     DisableOutputCompression:
         default: false
         description: 'Disable output compression (enabled by default if zlib is available)'
diff --git a/docs/config-vars.php b/docs/config-vars.php
index 4b3755b106b3..22428f21294b 100755
--- a/docs/config-vars.php
+++ b/docs/config-vars.php
@@ -1976,12 +1976,6 @@ $wgFallbackSkin = null;
 $wgSkipSkins = null;
 
 /**
- * Config variable stub for the ResourceLoaderClientPreferences setting, for use by phpdoc and IDEs.
- * @see MediaWiki\MainConfigSchema::ResourceLoaderClientPreferences
- */
-$wgResourceLoaderClientPreferences = null;
-
-/**
  * Config variable stub for the DisableOutputCompression setting, for use by phpdoc and IDEs.
  * @see MediaWiki\MainConfigSchema::DisableOutputCompression
  */