adminer Version 4.8.4

A new version of adminer evo has been released which also fixes compatibility problems with php 8.3: https://github.com/adminerevo/adminerevo/releases/tag/v4.8.4

Could we please have a new version here ?

If I can be of any help please let me know!