Deprecate wgSkipSkin in favor of wgSkipSkins
authorThis, that and the other <at.light@live.com.au>
Sat, 15 Feb 2014 00:04:24 +0000 (11:04 +1100)
committerThis, that and the other <at.light@live.com.au>
Sat, 15 Feb 2014 00:04:24 +0000 (11:04 +1100)
commitc5b5e4509a0fbe2c1e79376c1900899848565d96
tree446c95f853f6b2f8336c7e4721f0a586eab29c39
parent157bda926854ea7e6b976cff4dd1d7c44793d475
Deprecate wgSkipSkin in favor of wgSkipSkins

Per comments at
https://gerrit.wikimedia.org/r/#/c/110162/5/includes/DefaultSettings.php

Change-Id: I47e891464c9955e2ea8c655c8e2e19cb09f55baa
RELEASE-NOTES-1.23
includes/DefaultSettings.php