Merge "Drop outdated "documentation reviewed" tags"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 18 Mar 2015 16:56:58 +0000 (16:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 18 Mar 2015 16:56:58 +0000 (16:56 +0000)
commitbadc035712ded02e8ec7ee4c5e8a0fe09e2811d2
tree46c025f9858c19bf4e454dd9202a2142b30ef4a9
parentb7ec2c9b3353b99fe30e1e202c8625cac2f541f3
parent40342aba58246982593d82e724bc50905c380ea2
Merge "Drop outdated "documentation reviewed" tags"
includes/MediaWiki.php
includes/Title.php
includes/cache/BacklinkCache.php
includes/page/Article.php
includes/page/WikiPage.php