When upgrading, what to choose for overwrite php.ini? Should we choose classic steps (yum check YES, overwrite php.ini NO, zend opcache YES, php 7.1.0) - if I remember correctly