wikimedia/mediawiki-extensions-Thanks
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks synced 2024-11-23 22:44:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add phan-taint-check-plugin

Browse source 
Change-Id: Ie1edadde6ae38bae0dc83760bccd4d02b1a47bda
This commit is contained in:
Umherirrender 2018-05-18 23:07:32 +02:00
parent 6127be6e9f
commit 0e6b045f59
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
composer.json
View file

@ -19,5 +19,8 @@
"doc": [
"doxygen"
]
},
"extra": {
"phan-taint-check-plugin": "1.2.0"
}
}