Updated mediawiki/extensions
Project: mediawiki/extensions/Wikibase  42b72f04e4f04a4ee43441f713b8726d6294f7c9

Eliminated PropertyEditTool

Change-Id: I8ad97a4ecb50f11a9be8447500bf0a300ca8d4e7