Add missing php options