Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  7b114f07e8ccfc4f344700441f6dd6532b4b3a06

Support programmatic tool titles

Just override OO.ui.Tool.prototype.getTitle. The default implementation
uses the same static property as before.

Change-Id: I80fd95142cafac0e136cfe3031c16c371625b469