Merge "Remove classes and functions deprecated in MediaWiki 1.17"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 9 Jan 2014 21:11:51 +0000 (21:11 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 9 Jan 2014 21:11:51 +0000 (21:11 +0000)
commit3de8536d3e096761a364d2709afac562eeb1842d
tree0a2027d27a6c4da0786b6e4d8698e0eced0d218b
parentd31b22967f41eed3991ce1962b2dcc38d4a6e683
parent52ba6500df6ebaeee40e1f8329f3c64ea811c89f
Merge "Remove classes and functions deprecated in MediaWiki 1.17"
RELEASE-NOTES-1.23
includes/AutoLoader.php
includes/WebRequest.php
includes/api/ApiMain.php