wikimedia/mediawiki-extensions-MultimediaViewer
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/MultimediaViewer synced 2024-11-15 11:59:22 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Multim.../.gitignore

6 lines
61 B
Plaintext
Raw Normal View History

docs: Use the standard way of generating documentation * Move the files from the docs directory * Remove the generate script * Add npm task Change-Id: I2b404e132aab0be563c7abb9145ab607242c94cd
2016-03-11 10:35:48 +00:00
docs/
build: Configure banana-checker and jsonlint Change-Id: If625ff9a3324ac0835afa9fa03d6e5041d3ea331
2015-06-20 04:55:50 +00:00
node_modules/
Add php-parallel-lint php-lint will test for valid php files Change-Id: I6170eb1363dd16457b6d783b42e8822518c1bd44
2017-05-05 23:48:44 +00:00
vendor/
/composer.lock
Add phan configuration Change-Id: I5d1c03978d6d018ea3e6fc0927598b5a2c931b85
2018-04-14 08:03:51 +00:00
tests/phan/issues
Reference in a new issue Copy permalink