[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 4035ec: Make getJsValue use json_encode