[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 7d896b: New feature for #12247, delete option added to hea...