Updated mediawiki/extensions
Project: mediawiki/extensions/Vector  f912667b6837b0d290549f773a88cc286329bfe6

Delete the editWarning feature

Moved to MediaWiki core in I7bdbd09f4.

Bug: 46514
Change-Id: I164f17255bc92796e162a0c3da42b28c01809bdc