mediawiki-extensions-Linter/.gitignore