Fix documentation for $wgRightsText
authorAryeh Gregor <ayg@aryeh.name>
Tue, 31 Jul 2018 13:16:22 +0000 (16:16 +0300)
committerAryeh Gregor <ayg@aryeh.name>
Tue, 31 Jul 2018 13:16:22 +0000 (16:16 +0300)
commitb50aa7866d0071a593c8a11807e38a6585d37c9b
treecc294683326667c042efe25fe933025f3336b9a5
parent07d130702967826c07718b09573775e0d13e9e66
Fix documentation for $wgRightsText

Change-Id: I6e7b8501241276b91172df7f13dfc7a1227b23a5
includes/DefaultSettings.php