Update adminer 4.7


#1

Hi,

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

Thanks
Dieter


#2

Indeed, that would be appreciated.