Merge "Add some missing MW version documentation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 23 May 2016 18:02:33 +0000 (18:02 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 23 May 2016 18:02:33 +0000 (18:02 +0000)
commite47f857e3f4bb44ae2f667f5cb64c171c73f4d2e
treea8f8f3b41d17a5ff9ca9831989574157e2155b64
parent0421ab1e9eda6e22ba9a12c73dbb969c337ed9e9
parent9d4abcb025e705bce0a510297a6744c8bb0c285b
Merge "Add some missing MW version documentation"
includes/DefaultSettings.php