A configuration for PHP applications, based on a ini file