Upgrade to ejabberd 25.07

If you upgrade ejabberd from a previous release to 25.07, then there is no change required on your part.

If you are upgrading from previous ejabberd versions, please review their corresponding upgrade notes.