[phpMyAdmin Git] [phpmyadmin/phpmyadmin] dc0fb1: Update mysql extension setting documentation