mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-12 09:26:05 +00:00
2f0ff9cbf6
* Deprecated main entry-points * Removed unused configuration * Removed old formatters for Echo events (mention, edit-user-talk, etc) * Removed unused messages Bug: T121612 Change-Id: I639b9d9906d3ff37021cb9b5ed3cb401354b5bd9 |
||
---|---|---|
.. | ||
gen-autoload.php | ||
generatecss.php | ||
remotecheck.sh |