Extract JSON elements from a JSON column (MariaDB, MySQL)

Code
-- tested with MySQL 5.7, MariaDB 10.2

SELECT JSON_EXTRACT(json_format, '$.name') as jname, JSON_EXTRACT(json_format, '$.status') as jstatus
  FROM history LIMIT 5
Result
jnamejstatus
"foo"5
"foo"5
"foo"2
"foo"1
"foo"1
0.00074219703674316 ms (with caching enabled)

Used Versions
PHP 7.1, Zend 3.0, Symfony 3.2, Laravel 5.2, PHPUnit 5.6, Doctrine 2.6