Updated mediawiki/extensions
Project: mediawiki/extensions/Wikidata  b72b7bd6cfd0808b81a6fbab10bd9e6981d37823

New Wikidata Build - 2014/11/10

Change-Id: I760bb714421a7ea49b9771ac6ed7434b75228ee1