Correct, php -v outputs this:
# php -v
PHP 7.1.33 (cli) (built: Apr 5 2020 16:18:54) ( NTS )
Copyright (c) 1997-2018 The PHP Group
Zend Engine v3.1.0, Copyright (c) 1998-2018 Zend Technologies
with Zend OPcache v7.1.33, Copyright (c) 1999-2018, by Zend Technologies