Merge "mediawiki.user: Simplify extension of mw.user"
[lhc/web/wiklou.git] / includes / changes /
drwxr-xr-x   ..
-rw-r--r-- 7289 ChangesFeed.php
-rw-r--r-- 16871 ChangesList.php
-rw-r--r-- 17520 EnhancedChangesList.php
-rw-r--r-- 4482 OldChangesList.php
-rw-r--r-- 1215 RCCacheEntry.php
-rw-r--r-- 7749 RCCacheEntryFactory.php
-rw-r--r-- 22578 RecentChange.php