[phpMyAdmin Git] [phpmyadmin/phpmyadmin] ef0ea0: Measure time only for user queries