add a nicer way to modify php.ini