Merge "Rename mediawiki.action.history.diff to mediawiki.diff.styles"
[lhc/web/wiklou.git] / includes / objectcache /
drwxr-xr-x   ..
-rw-r--r-- 9089 MemcachedPeclBagOStuff.php
-rw-r--r-- 12601 ObjectCache.php
-rw-r--r-- 12692 RedisBagOStuff.php
-rw-r--r-- 24441 SqlBagOStuff.php