Update adminer 4.7

Hi,

I see adminer needs to be updated.
Can you add adminer 4.7.0 to new local update?

Thanks
Dieter

Indeed, that would be appreciated.