mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-30 18:45:07 +00:00
a47a421696
This extension already depends on MW 1.37, so all these methods exist. Bug: T254646 Depends-On: I9a90b4f74eb65cd9e20ae9faa6d1949be96543c0 Change-Id: Iebfdd33d3a967c87fbf87382a010a01da5cd4fc8 |
||
---|---|---|
.. | ||
AbstractMapper.php | ||
EventMapper.php | ||
NotificationMapper.php | ||
TargetPageMapper.php |