ArthurHoaro b74b96bfbd Adds ConfigJson which handle the configuration in JSON format. ... Also use the Updater to make the transition		2016-06-11 09:30:56 +02:00
..
ConfigIO.php	Adds ConfigJson which handle the configuration in JSON format.	2016-06-11 09:30:56 +02:00
ConfigJson.php	Adds ConfigJson which handle the configuration in JSON format.	2016-06-11 09:30:56 +02:00
ConfigManager.php	Adds ConfigJson which handle the configuration in JSON format.	2016-06-11 09:30:56 +02:00
ConfigPhp.php	Replace $GLOBALS configuration with the configuration manager in the whole code base	2016-06-11 09:30:56 +02:00
ConfigPlugin.php	Replace $GLOBALS configuration with the configuration manager in the whole code base	2016-06-11 09:30:56 +02:00