Added PHP extensions xsl, dob, libxml for phpDox support