Add php*-xmldiff PECL extension