[PRQ#82557] Deletion Request for php-xdiff