wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-23 15:57:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../includes
History
Bartosz Dziewoński b484833c7d Skip server-side event logging unless WikimediaEvents is installed 
The corresponding client-side event logging is implemented in the
WikimediaEvents extension, so logging server-side events only doesn't
make sense.

Bug: T322602
Change-Id: I79b55adca1da0d9abfe60943dfa4f8c86ecb9626
2023-04-06 21:12:04 +02:00
..
Hooks.php Skip server-side event logging unless WikimediaEvents is installed 2023-04-06 21:12:04 +02:00