Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  d0ba27fd1faed719010f3365f4fcd356d0dc9162

Only remove and insert a Category if it's changed

The CategoryPopupWidget's popupClose() method was checking for the
category having changed by comparing its sort key value to the existing
one, but it failed to account that null !== ''.

Change-Id: Idb6a84dc32706d90dea70dceb0b9b3a26ed70110