Updated mediawiki/extensions
Project: mediawiki/extensions/GWToolset  f13b3e8638fd0f3e5c3aca79dcffc9642ee7717c

make sure unicode characters are normalized

Bug: 62870
Change-Id: I7f3fa5ac572938602e915c22a47d2e7f7e61caaf