change php-extension include (xi --> xml)