Merge "Add 'since <version>' to @deprecated annotations"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 22 Apr 2014 19:46:38 +0000 (19:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 22 Apr 2014 19:46:38 +0000 (19:46 +0000)
commitca895b7072b9d98a5b3abf8f2a46474095c16210
treecf40f105c554c64e505b67a6760d291cf98d645e
parenta7bc10c2c7396e5f31c230f4a35dbb177deeb588
parent8c2599f23ea814138fcb239829527d4c01216b62
Merge "Add 'since <version>' to @deprecated annotations"
includes/DefaultSettings.php
includes/Namespace.php
includes/db/ORMTable.php
includes/site/MediaWikiSite.php