Add some more (hopefully common) php options to the config