Test: /tests/run-test/bug75042-3.phpt - Version 7.2.33    

001+ Warning: PHP Startup: Unable to load dynamic library '/usr/local/src/php-7.2.33/modules//nonexistentsharedmodule.so' (tried: /usr/local/src/php-7.2.33/modules//nonexistentsharedmodule.so (/usr/local/src/php-7.2.33/modules//nonexistentsharedmodule.so: cannot open shared object file: No such file or directory), /usr/local/src/php-7.2.33/modules///usr/local/src/php-7.2.33/modules//nonexistentsharedmodule.so.so (/usr/local/src/php-7.2.33/modules///usr/local/src/php-7.2.33/modules//nonexistentsharedmodule.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0

001+ Warning: PHP Startup: Unable to load dynamic library '/home/src/php-7.2.33/modules//nonexistentsharedmodule.so' (tried: /home/src/php-7.2.33/modules//nonexistentsharedmodule.so (/home/src/php-7.2.33/modules//nonexistentsharedmodule.so: cannot open shared object file: No such file or directory), /home/src/php-7.2.33/modules///home/src/php-7.2.33/modules//nonexistentsharedmodule.so.so (/home/src/php-7.2.33/modules///home/src/php-7.2.33/modules//nonexistentsharedmodule.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0