added php.xml.dist