use a separate ini file for php customizations