Merge branch 'Wikidata' of ssh://review/mediawiki/core into Wikidata
authorjeroendedauw <jeroendedauw@gmail.com>
Wed, 11 Apr 2012 10:52:25 +0000 (12:52 +0200)
committerjeroendedauw <jeroendedauw@gmail.com>
Wed, 11 Apr 2012 10:52:25 +0000 (12:52 +0200)
commitd8f365bb63c1f7e45e7c5d03ed0aa3b93e2518d2
tree8ca6d325dbdc4543bc9ce1d832336ebb65bc78a1
parent02fc755d1c69c12fe0b2897801c1b377d768acd7
parent12efc09bfdb6171d1b9f5ae3e559cbdfe58fde90
Merge branch 'Wikidata' of ssh://review/mediawiki/core into Wikidata