mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-28 09:40:41 +00:00
008ad5afe1
Replaces the deprecated user method getGroups with UserGroupManager->getUserGroups. Bug: T275148 Change-Id: Ie6215886c911382008b667e8e5b3298facfcd6a2 |
||
---|---|---|
.. | ||
controller | ||
gateway | ||
iterator | ||
mapper | ||
model | ||
Push | ||
AttributeManagerTest.php | ||
BundlerTest.php | ||
DiffParserTest.php | ||
EchoContainmentSetTest.php |