Merge branch 'Wikidata' of ssh://gerrit.wikimedia.org:29418/mediawiki/core into Wikidata
authordaniel <daniel.kinzler@wikimedia.de>
Wed, 6 Jun 2012 15:43:57 +0000 (17:43 +0200)
committerdaniel <daniel.kinzler@wikimedia.de>
Wed, 6 Jun 2012 15:43:57 +0000 (17:43 +0200)
commit3ac92cafb06e00668ff5844a6cda6fcad6449d5a
tree565366689966386d065dd947cba2c010cda5f146
parent607f9341ec90838e73ab253f544ecf19b11a37ed
parenta7e28d201191e7ca8a51d10140f3f84c266b197d
Merge branch 'Wikidata' of ssh://gerrit.wikimedia.org:29418/mediawiki/core into Wikidata
includes/LinksUpdate.php
includes/Revision.php
includes/WikiPage.php