server/lib/private/Settings
2016-08-11 17:29:58 +02:00
..
Admin rename IAdmin to ISettings, the interface is not bound to a specific settings scope 2016-08-11 14:48:21 +02:00
Manager.php adjust Theming app 2016-08-11 17:29:58 +02:00
Section.php