Merge "Introduce separate log action for deleting pages on move"
[lhc/web/wiklou.git] / includes / registration /
drwxr-xr-x   ..
-rw-r--r-- 1863 CoreVersionChecker.php
-rw-r--r-- 12017 ExtensionProcessor.php
-rw-r--r-- 9381 ExtensionRegistry.php
-rw-r--r-- 1429 Processor.php