Updated mediawiki/extensions
Project: mediawiki/extensions/Math  b7069ade90662e3dc0aa8c7fd171c9c257ae6f9a

Fix comment in texvccheck.ml

Change-Id: I8fae697e073d3807896223dba880a2058732e778