[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 4ddea6: Use onhashchange event instead of polling for hash changes