Test: /sapi/fpm/tests/proc-user-ignored.phpt - Version 7.2.12    

There are 2 different diffs reported by users for this test.

Count Diff
1 (50%)
001+ ERROR: The NOTICE does not match expected message:
002+ - PATTERN: /^\[\d\d-\w\w\w-\d{4} \d\d:\d\d:\d\d\] NOTICE: \[pool unconfined\] 'user' directive is ignored when FPM is not running as root$/
003+ - MESSAGE: [10-Sep-2019 12:36:07] NOTICE: PHP message: PHP Warning: PHP Startup: Unable to load dynamic library 'php_curl.so' (tried: /home/isuru/servers/php/lib/php/extensions/no-debug-non-zts-20170718/php_curl.so (/home/isuru/servers/php/lib/php/extensions/no-debug-non-zts-20170718/php_curl.so: cannot open shared object file: No such file or directory), /home/isuru/servers/php/lib/php/extensions/no-debug-non-zts-20170718/php_curl.so.so (/home/isuru/servers/php/lib/php/extensions/no-debug-non-zts-20170718/php_curl.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0
004+ - EXPECT: '\[pool unconfined\] 'user' directive is ignored when FPM is not running as root'
005+ - ACTUAL: 'PHP message: PHP Warning: PHP Startup: Unable to load dynamic library 'php_curl.so' (tried: /home/isuru/servers/php/lib/php/extensions/no-debug-non-zts-20170718/php_curl.so (/home/isuru/servers/php/lib/php/extensions/no-debug-non-zts-20170718/php_curl.so: cannot open shared object file: No such file or directory), /home/isuru/servers/php/lib/php/extensions/no-debug-non-zts-20170718/php_curl.so.so (/home/isuru/servers/php/lib/php/extensions/no-debug-non-zts-20170718/php_curl.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0'
1 (50%)
001+ ERROR: The NOTICE does not match expected message:
002+ - PATTERN: /^\[\d\d-\w\w\w-\d{4} \d\d:\d\d:\d\d\] NOTICE: \[pool unconfined\] 'user' directive is ignored when FPM is not running as root$/
003+ - MESSAGE: [04-Jan-2019 20:09:13] ERROR: [pool unconfined] cannot get uid for user 'foo'
004+ - EXPECT: '\[pool unconfined\] 'user' directive is ignored when FPM is not running as root'
005+ - ACTUAL: '2019 20:09:13] ERROR: [pool unconfined] cannot get uid for user 'foo''