PHP code for parsing a Configuration file