wikimedia/mediawiki-extensions-Editcount
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Editcount synced 2024-11-30 19:15:53 +00:00
Code Issues Packages Projects Releases Wiki Activity
588 commits 25 branches 0 tags 5.1 MiB
Commit graph

2 commits

Author SHA1 Message Date
zoranzoki21 9abed275c3 Add phan 
Change-Id: I7329f96fb36be043979a82b98d3bf2937a6c1f0e
 2022-03-05 15:11:43 +01:00
zoranzoki21 6c8a2f0549 Fix all PHPCS excluded rules 
Change-Id: Ia80a6ae8a7ce91b66b88888a9dad3859018907ea
 2022-03-05 15:03:36 +01:00