Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  e2a96fb8a82833b95da5f123738fb5ee14aa32c0

Quote page name in notifications

This improves the appearance, particulary for multi-word titles.

Change-Id: I4d7bdb034acab6b7c6e3f87bc23dcdefd54c301b