Marius Blüm f26764c790 Rename “Server settings” to “Basic settings” ... * fixes #4587 Signed-off-by: Marius Blüm <marius@lineone.io>		2017-04-29 17:13:21 +02:00
..
Admin	Remove unused use statements	2017-04-22 19:23:31 -05:00
Manager.php	Rename “Server settings” to “Basic settings”	2017-04-29 17:13:21 +02:00
Mapper.php
RemoveOrphaned.php
Section.php