wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 16:04:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
4632 commits 164 branches 0 tags 74 MiB
Commit graph

3 commits

Author SHA1 Message Date
Roan Kattouw 5c33f929bf CachedList: Use getWithSetCallback() 
Bug: T164860
Change-Id: I0d89865fadcbc7f014e2d88a9a984228d44bc1c6
 2018-05-30 05:15:20 +00:00
Umherirrender dc7d27a795 Split assignment and return statement 
Doing it in two lines makes it easier to read
This makes also clear that this is not a broken condition

Change-Id: I9771b6457789b7dc572f2d73d1fae8c361f9a1e6
 2018-02-06 22:52:47 +00:00
Phantom42 254cf8360b Fix multiple PHP class declarations in one file 
All files containing more than one PHP class were split into
multiple files.

extension.json was updated to match new class locations.

Bug: T177809
Change-Id: I4e7d8f02164c3048c41c4c9fbe4be18a99e7abaa
 2018-01-21 21:17:53 +00:00