Merge "User: Normalize skin key from $wgDefaultSkin for default options"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 23 Jul 2014 21:44:08 +0000 (21:44 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 23 Jul 2014 21:44:08 +0000 (21:44 +0000)
commit1c4e8a3abd89bbecd1b6b6db38c037eba542d5ef
tree251b8c875287386e572f649d8fe722fe2cc910f7
parentb7433716d66fc469cdf7dddc5815ca41c4ccabc4
parent6cf0e518801b271dd7091e616132b6280cb69c9f
Merge "User: Normalize skin key from $wgDefaultSkin for default options"