config file for phpcompatinfo