Nov. branch merge. Various features backported from stable, various bug fixes.
[mediawiki.git] / docs / 
tree8d796a97e8e349a7122e5a8b7b4c506bd717b678
drwxr-xr-x   ..
-rw-r--r-- 852 deferred.doc
-rw-r--r-- 5558 design.doc
-rw-r--r-- 727 globals.doc
-rw-r--r-- 1215 language.doc
-rw-r--r-- 1421 linkcache.doc
-rw-r--r-- 4138 memcached.doc
drwxr-xr-x - php-memcached
-rw-r--r-- 5296 schema.doc
-rw-r--r-- 189 skin.doc
-rw-r--r-- 3740 title.doc
-rw-r--r-- 2450 user.doc