Update git submodules
[mediawiki.git] / includes / registration / 
tree9b5c7aab7727d6b87c04bb1a997a25534f1f625f
drwxr-xr-x   ..
-rw-r--r-- 2449 ExtensionDependencyError.php
-rw-r--r-- 891 ExtensionJsonValidationError.php
-rw-r--r-- 4857 ExtensionJsonValidator.php
-rw-r--r-- 29024 ExtensionProcessor.php
-rw-r--r-- 17890 ExtensionRegistry.php
-rw-r--r-- 3160 MissingExtensionException.php
-rw-r--r-- 2113 Processor.php
-rw-r--r-- 10775 VersionChecker.php