mediawiki-extensions-TextEx.../.gitignore
Umherirrender fd70104fba Add php-parallel-lint
php-lint will test for valid php files

Change-Id: I88f32059106ce1eaaebfaea170d495794627f8ac
2017-05-06 12:54:00 +02:00

3 lines
22 B
Plaintext