[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 471318: Update Doctum config