[phpMyAdmin Git] [phpmyadmin/phpmyadmin] e6a3b0: Remove documentation for old MySQL server