[phpMyAdmin Git] [phpmyadmin/website] b58666: Rename file