I have just installed tha official patch for magento1-PHP7.2 and upgraded my server to this PHP version too. Now, if I print the current PHP version from the index.php (using the phpversion() function that you find in the first if control), I see version 5.6.38! How is it possible?
Note. The version of magento is the last 22.214.171.124