mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-12 01:10:07 +00:00
f402ecd31f
PHP doesn't care much about the name (in terms of case sensitivity) but I think we should make sure the names of the method should be as they're in their definition. Change-Id: I6e38d8be64efaec4200471f2d3007275d7ddecec |
||
---|---|---|
.. | ||
LocalCache.php | ||
RevisionLocalCache.php | ||
TitleLocalCache.php |