rabauss 462e489762 Update HistoryGraph.php ... with several php-settings there might be problems with timestamp output - so it would be better to use number_format for output. otherwise the graph wont show...		2018-03-27 23:36:04 +02:00
..
Archiver	preparing for 3.2.0 release	2018-03-27 23:24:25 +02:00
Updater	Refactor header checking to be sure that we can't crash this !	2018-03-27 23:36:02 +02:00
ArchiveManager.php	preparing for 3.2.0 release	2018-03-27 23:24:25 +02:00
HistoryGraph.php	Update HistoryGraph.php	2018-03-27 23:36:04 +02:00
ServerValidator.php	preparing for 3.2.0 release	2018-03-27 23:24:25 +02:00
UpdateManager.php	Add header_name & header_value to the server object	2018-03-27 23:36:01 +02:00