[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 00f144: Fix #13975 - Missing query time in German (fix decimal number format issue)