https://mamchenkov.net/wordpress/2018/12/17/the-best-way-to-get-the-full-php-version-string/