Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  45a222a86373b42122d51925545b00669f729b20

The element has different title on a Mac

It is "Edit this page with VisualEditor [ctrl-option-v]".

Change-Id: I54d72c63f07826106e8fbb0de0828dd82b67c766