Merge "DatabaseMssql: Don't duplicate body of makeList()"
[mediawiki.git] / includes / registration / 
tree6ab3357157429371493c603e15e8b525b4759296
drwxr-xr-x   ..
-rw-r--r-- 6786 ExtensionProcessor.php
-rw-r--r-- 6306 ExtensionRegistry.php
-rw-r--r-- 573 Processor.php