Updated mediawiki/extensions
Project: mediawiki/extensions/WikiEditor  cf74f4e0a077bb9452ce8f172bc8a8c50e38ba31

Prevent conflicts with predefined names

Bug: 64896
Change-Id: I67ea669a074317f44eb09cf759c0121bad259b3c