[phpMyAdmin Git] [phpmyadmin/phpmyadmin] f71f5f: Revert 'Ok' text to 'OK'