--8<---------------cut here---------------start------------->8---
$ /gnu/store/bphw93wrikc275maaqclm04mglrvkzqh-php-7.3.0/bin/php -r 'print("hello");'
--8<---------------cut here---------------end--------------->8---

Thanks,
Oleg.