Merge "Remove unused $wgLicenseTerms"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 27 Mar 2014 22:09:49 +0000 (22:09 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 27 Mar 2014 22:09:49 +0000 (22:09 +0000)
commit4cd678452e285c567fd40b01a992f8e8bd9e408d
tree177260b5921a0704b2058c041e4311bf6c0aff25
parent2c5c0118c37c31b100e795addc91190b59f22278
parent1bb5aaecaa59c4092c5a4191babb5161f5b4f40d
Merge "Remove unused $wgLicenseTerms"
RELEASE-NOTES-1.23
includes/DefaultSettings.php