Merge branch 'Wikidata' of ssh://review/mediawiki/core into Wikidata
authorjeroendedauw <jeroendedauw@gmail.com>
Mon, 16 Apr 2012 15:30:23 +0000 (17:30 +0200)
committerjeroendedauw <jeroendedauw@gmail.com>
Mon, 16 Apr 2012 15:30:23 +0000 (17:30 +0200)
commit109b2da267a6c75aea5eabe5b2759fc382ffe8f0
treee7aa09d477c36a6b9b3446682d9ffb2b3c8c1a21
parentbd58524b67fe547bfa06fb84bcadbaae74acb059
parent38da56ac78956dbc7759449779b997d950621797
Merge branch 'Wikidata' of ssh://review/mediawiki/core into Wikidata