Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  e6c372784c430ae9729f0edc0a857d02e69c8c5e

Fix file name in validatehtml.sh

Change-Id: I9075db87423137de01ef2c20a124371baf3c12d0