Merge branch 'Wikidata' of ssh://review/mediawiki/core into Wikidata
authorjeroendedauw <jeroendedauw@gmail.com>
Mon, 14 May 2012 10:02:09 +0000 (12:02 +0200)
committerjeroendedauw <jeroendedauw@gmail.com>
Mon, 14 May 2012 10:02:09 +0000 (12:02 +0200)
commit91706bf8d4fd7e4668133bebe318dc5491acf868
treed300e94623db26bbb05f1f28ff358edc5ac685bb
parent24d81a7d03bb415d2d6ab0e43af62fd46c154707
parent8bf6ca1d1860ae924b21860578ced36d2d037b66
Merge branch 'Wikidata' of ssh://review/mediawiki/core into Wikidata
includes/Content.php
includes/WikiPage.php