Per comments at
https://gerrit.wikimedia.org/r/#/c/110162/5/includes/DefaultSettings.php
Change-Id: I47e891464c9955e2ea8c655c8e2e19cb09f55baa
* The 'max threads' setting was removed from $wgDBservers.
* Support for AdminSettings.php has been completely removed. All configuration
belongs in LocalSettings.php.
* The 'max threads' setting was removed from $wgDBservers.
* Support for AdminSettings.php has been completely removed. All configuration
belongs in LocalSettings.php.
+* $wgSkipSkin, which has been replaceable by $wgSkipSkins since 2005 (r9249), is
+ now formally deprecated.
=== New features in 1.23 ===
* ResourceLoader can utilize the Web Storage API to cache modules client-side.
=== New features in 1.23 ===
* ResourceLoader can utilize the Web Storage API to cache modules client-side.
* Specify the name of a skin that should not be presented in the list of
* available skins. Use for blacklisting a skin which you do not want to
* remove from the .../skins/ directory
* Specify the name of a skin that should not be presented in the list of
* available skins. Use for blacklisting a skin which you do not want to
* remove from the .../skins/ directory
+ *
+ * @deprecated since 1.23; use $wgSkipSkins instead