Updated mediawiki/extensions
Project: mediawiki/extensions/ContentTranslation  ed7f80bba6218d0d1066bcd806321abc8077cb1f

Publishing: Add publishing options dialog

* Adds dialog and logic for when title to be published already exists
* Presents two options: Keep both versions and Publish anyway
* Keep both options adds a version number and saves that
* Publish anyway overrides the existing translation

Bug: T76464
Change-Id: I35b7a041cd9b2e2fefd8e9e271619a37e9a63e35