Merge "Make it possible for extensions to specify which version of MediaWiki they...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 3 Mar 2014 20:27:16 +0000 (20:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 3 Mar 2014 20:27:16 +0000 (20:27 +0000)
commitcb78f7f82018d415073d021a13bfa6a999f0dcdb
treed312880f70ebec9e214a3f6f55c880f34486f318
parent884b8fa0f382ca5ce850f13479162b69d014dfe0
parent3307d4957925df319df2b84cfc3e6f1680d0632a
Merge "Make it possible for extensions to specify which version of MediaWiki they support via Composer."
includes/AutoLoader.php