Steffen Schröder 7eb1091511 renamed server id to index		2014-01-05 14:41:19 +01:00
..
StatisticCollector.php	renamed server id to index	2014-01-05 14:41:19 +01:00
StatisticManager.php	renamed server id to index	2014-01-05 14:41:19 +01:00