3v4l.org

run code in 300+ PHP versions simultaneously
<?php class User {} class Baby extends User {} interface UserGateway { function find($id): User; } class UserGateway_MySql implements UserGateway { // must return User or subtype of User function find($id) { return new User(); } }
Output for 7.4.0 - 7.4.33, 8.0.0 - 8.0.30, 8.1.0 - 8.1.28, 8.2.0 - 8.2.18, 8.3.0 - 8.3.4, 8.3.6
Fatal error: Declaration of UserGateway_MySql::find($id) must be compatible with UserGateway::find($id): User in /in/1upNP on line 12
Process exited with code 255.
Output for 8.3.5
Warning: PHP Startup: Unable to load dynamic library 'sodium.so' (tried: /usr/lib/php/8.3.5/modules/sodium.so (libsodium.so.23: cannot open shared object file: No such file or directory), /usr/lib/php/8.3.5/modules/sodium.so.so (/usr/lib/php/8.3.5/modules/sodium.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0 Fatal error: Declaration of UserGateway_MySql::find($id) must be compatible with UserGateway::find($id): User in /in/1upNP on line 12
Process exited with code 255.
Output for 7.0.0 - 7.0.20, 7.1.0 - 7.1.33, 7.2.0 - 7.2.33, 7.3.0 - 7.3.33
Fatal error: Declaration of UserGateway_MySql::find($id) must be compatible with UserGateway::find($id): User in /in/1upNP on line 10
Process exited with code 255.
preferences:
180.94 ms | 402 KiB | 218 Q