I've just changed PHP to version 7.1 and with almost the same results:
[02-Jan-2019 13:58:19 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:19 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:19 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:19 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:20 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:20 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:20 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:20 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:31 UTC] PHP Notice: Use of undefined constant DEFAULT_LOCALE - assumed 'DEFAULT_LOCALE' in /lang.inc.php on line 65
[02-Jan-2019 13:58:33 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:33 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:33 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:33 UTC] FAILED in get_case_id for case
Dear Adam,
I've just changed PHP to version 7.1 and with almost the same results:
[02-Jan-2019 13:58:19 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:19 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:19 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:19 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:20 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:20 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:20 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:20 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:31 UTC] PHP Notice: Use of undefined constant DEFAULT_LOCALE - assumed 'DEFAULT_LOCALE' in /lang.inc.php on line 65
[02-Jan-2019 13:58:33 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:33 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:33 UTC] FAILED in get_case_id for case
[02-Jan-2019 13:58:33 UTC] FAILED in get_case_id for case
In this version there's no PHP warning