Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  9cd96cd253963edca6e668bbdd25aefae5f4d79b
null
Fix naming of phantoms

Change-Id: I60e925ee83fa2670eeabc5b690928f6f029b2eb4