wikimedia/mediawiki-extensions-AJAXPoll
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AJAXPoll synced 2024-11-28 00:40:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-AJAXPoll/includes
History
Umherirrender 4ab46c250f build: Remove unneeded @codingStandardsIgnore 
Instead split long lines

Bug: T278594
Change-Id: I3ddab608254ac4f09dcef0519d952e208f263930
2021-04-04 20:13:02 +02:00
..
api build: Remove unneeded @codingStandardsIgnore 2021-04-04 20:13:02 +02:00
AJAXPoll.php build: Remove unneeded @codingStandardsIgnore 2021-04-04 20:13:02 +02:00