wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-24 07:03:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
718 commits 283 branches 5 tags 12 MiB
Commit graph

3 commits

Author SHA1 Message Date
Brian Wolff 252fed5d27 Fix a phan-taint-check false positive 
phan-taint-check gets confused when you escape a variable and
assign the escaped version to the same name as the unescaped
version.

Change-Id: I1bf4d64e68bff516b5f8b6266d85f67020008433
 2018-05-04 21:02:10 +00:00
Kunal Mehta 6deecac4c2 Add phan configuration 
Change-Id: I220a6da9d506a754d4e502bd4bd3178949b73f5f
 2018-02-24 13:57:36 -08:00
Kunal Mehta 431f955a81 Move classes to includes/ 
Change-Id: Ia65adfc9d9d6a117d8d4fc711e97414328b42440
 2018-02-24 13:57:32 -08:00