Updated mediawiki/extensions
Project: mediawiki/extensions/Gadgets  867ccb19b47744df4f001a196ceea5f0b095a6f1

Gadget-definitions: Make comment matching non-greedy

Change-Id: I1b92e4d84d11ff7493a2ec684815d19f0937caa7