Merge "Fix documentation for $wgRightsText"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 31 Jul 2018 17:22:27 +0000 (17:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 31 Jul 2018 17:22:27 +0000 (17:22 +0000)
commit6116345f33dbaf12c0143310efb2cf0bbec6a1f3
treee1c455583858cd7e3cef28a3765a8b24957dfdce
parentf36bb485814d01988e6ef820ccf136a953d0094e
parentb50aa7866d0071a593c8a11807e38a6585d37c9b
Merge "Fix documentation for $wgRightsText"