[phpMyAdmin Git] [phpmyadmin/docker] 504353: Import some Docker Hub formatting for easier merges