wikimedia/mediawiki-extensions-AJAXPoll
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AJAXPoll synced 2024-11-14 18:54:47 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-AJAXPoll/includes
History
Kunal Mehta b6cddae91d Don't set a default value for $args 
It'll always be passed by the Parser when invoking the hook.

Change-Id: I16efdfc733e89be2b810ee7b143a1ca54ad1ff26
2022-10-08 20:44:18 -04:00
..
api build: Remove unneeded @codingStandardsIgnore 2021-04-04 20:13:02 +02:00
AJAXPoll.php Don't set a default value for $args 2022-10-08 20:44:18 -04:00