Merge branch 'Wikidata' of ssh://review/mediawiki/core into Wikidata
authorjeroendedauw <jeroendedauw@gmail.com>
Wed, 27 Jun 2012 14:18:18 +0000 (16:18 +0200)
committerjeroendedauw <jeroendedauw@gmail.com>
Wed, 27 Jun 2012 14:18:18 +0000 (16:18 +0200)
commit0d201db85072720cb4da826bb4456f3d29bc2015
treefea40aaab19b7377023196618656dcf4d04ebc0f
parent2b643093b749863b9a9b064f5900450d1f1e2502
parent03046154cdd8aaa11944044c4e42a3c5e6b30485
Merge branch 'Wikidata' of ssh://review/mediawiki/core into Wikidata