You can use the --remove
option to remove a divert that has been previously set up. For example:
sudo dpkg-divert --remove /usr/share/php7.3-xml/xml/wddx.ini
Keep in mind that dpkg-divert is a global mechanism that affects all packages that are installed on the system. If you want to control which files are modified by a specific package, you may need to use a different approach, such as using a local dpkg trigger.
In general you can use the dpkg-divert command to prevent dpkg from overwriting certain files during package installation or upgrades. This can be useful if you have customized certain configuration files and do not want them to be overwritten by package updates.
To use dpkg-divert, you can specify the file or directory that you want to divert, and specify a target location where the file should be placed instead. For example, to divert the /usr/share/php7.3-xml/xml/wddx.ini file to a different location, you can use the following command:
sudo dpkg-divert --divert /usr/share/php7.3-xml/xml/wddx.ini.dpkg-new --rename /usr/share/php7.3-xml/xml/wddx.ini
This will create a copy of the wddx.ini file with the name wddx.ini.dpkg-new, and any future updates to the wddx.ini file will be written to the .dpkg-new file instead.