Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  aa678ad301e4206c87ced10e279ccdccd4fec110

Restoring messages that seem to have been deleted prematurely.

ooui-inspector-close-tooltip and ooui-inspector-remove-tooltip are
still in use by OO.ui.

Change-Id: I241acc5f2b7822adeeab626efc1c5b12384ae54b