mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-23 15:57:15 +00:00
6a45353ca2
Also remove the `return true` on onRecentChange_save because this is optional. Change-Id: Ic1104ae901384f3e6699269b761c05a99d2334b3 |
||
---|---|---|
.. | ||
Hooks.php |