Comment 3 for bug 1803121

Andre Santos (andre-ars) wrote :

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