<?php if (PHP_VERSION_ID < 70300 && ! class_exists('JsonException')) { class JsonException extends Exception { } }