[phpMyAdmin Git] [phpmyadmin/themes] 59d838: Update create-release script for new server name