Renamed Registry -> GenericRegistry to make it clear that this registry does
[core.git] / inc /
drwxr-xr-x   ..
-rw-r--r-- 15081 config.php
drwxr-xr-x - config
-rw-r--r-- 1906 database.php
drwxr-xr-x - database
-rw-r--r-- 2718 includes.php
drwxr-xr-x - main
-rw-r--r-- 2995 selector.php