original_string: private function saveEncoding()
      {
          if (version_compare(PHP_VERSION, '7.2.0') >= 0) {
              return;
          }
  
          $iniDirective = 'mbstring' . '.func_overload'; // deprecated in PHP 7.2
  
          if (ini_get($iniDirective) & 2) {
              $this->encoding = mb_internal_encoding();
  
              mb_internal_encoding('iso-8859-1');
          }
      }
code: private function saveEncoding()
      {
          if (version_compare(PHP_VERSION, '7.2.0') >= 0) {
              return;
          }
  
          $iniDirective = 'mbstring' . '.func_overload'; // deprecated in PHP 7.2
  
          if (ini_get($iniDirective) & 2) {
              $this->encoding = mb_internal_encoding();
  
              mb_internal_encoding('iso-8859-1');
          }
      }
code_tokens: private function saveEncoding ( ) { if ( version_compare ( PHP_VERSION , '7.2.0' ) >= 0 ) { return ; } $ iniDirective = 'mbstring' . '.func_overload' ; // deprecated in PHP 7.2 if ( ini_get ( $ iniDirective ) & 2 ) { $ this -> encoding = mb_internal_encoding ( ) ; mb_internal_encoding ( 'iso-8859-1' ) ; } }
docstring: Save internal encoding
docstring_tokens: Save internal encoding