Merge "Use "elseif" instead of "else if" in PHP"
[mediawiki.git] / extensions / 
tree5480d968ebec60a17b5771ad0861eafced17da5e
drwxr-xr-x   ..
-rw-r--r-- 22 .gitignore
-rw-r--r-- 1178 README