Updated mediawiki/extensions
Project: mediawiki/extensions/Validator  141815b3f34749528fb104ab9233966d5bf3e5d9
null
fix extension name in doc file

Change-Id: Ie82d77bf76fefa7ec1efd13a13d6095f72e7dce3