Updated mediawiki/extensions
Project: mediawiki/extensions/CodeEditor  ecff4f58379f2db7a025151d9a68582c39235ef2

Ask for confirmation when saving document with errors

Bug: 63202
Change-Id: Ifbdf976f3c0f27da67d7cf034c040d4279d62217