Merge "Improve documentation for $wgRecentChangesFlags"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 29 Jul 2013 08:26:55 +0000 (08:26 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 29 Jul 2013 08:26:55 +0000 (08:26 +0000)
commit72e1b54ad49a6304c3f056c773cc51afe21f3c48
tree5e10144264ff102e44c30686b6ef3e1e55927fcb
parent882f25af96eba61e30ef97f2275e0885b4331565
parente3aa3c3dc57eb3880ca09f164e838a08281b7714
Merge "Improve documentation for $wgRecentChangesFlags"
includes/DefaultSettings.php