[phpMyAdmin Git] [phpmyadmin/scripts] 81c51c: Fix a typo on the develdocs page