[phpMyAdmin Git] [phpmyadmin/scripts] deb010: Update demo server version information