Merge "DefaultSettings: Update documentation for skin-related variables"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 23 Jul 2014 21:41:17 +0000 (21:41 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 23 Jul 2014 21:41:17 +0000 (21:41 +0000)
commit2900c4b297e0a17299e0443e5bba6a26408009c4
treeaf7e90e9a5233697ddb978981fda86550d2f5452
parent95c0a29516bfc64dad5435f8a1e6b497972f5ba0
parent8b3d231cf5176f56fb8bb562cb71b35d18d78c45
Merge "DefaultSettings: Update documentation for skin-related variables"
includes/DefaultSettings.php