original_string: protected function readLinesFromFile($filePath)
      {
          // Read file into an array of lines with auto-detected line endings
          $autodetect = ini_get('auto_detect_line_endings');
          ini_set('auto_detect_line_endings', '1');
          $lines = file($filePath, FILE_IGNORE_NEW_LINES | FILE_SKIP_EMPTY_LINES);
          ini_set('auto_detect_line_endings', $autodetect);
          return $lines;
      }
code: protected function readLinesFromFile($filePath)
      {
          // Read file into an array of lines with auto-detected line endings
          $autodetect = ini_get('auto_detect_line_endings');
          ini_set('auto_detect_line_endings', '1');
          $lines = file($filePath, FILE_IGNORE_NEW_LINES | FILE_SKIP_EMPTY_LINES);
          ini_set('auto_detect_line_endings', $autodetect);
          return $lines;
      }
code_tokens: protected function readLinesFromFile ( $ filePath ) { // Read file into an array of lines with auto-detected line endings $ autodetect = ini_get ( 'auto_detect_line_endings' ) ; ini_set ( 'auto_detect_line_endings' , '1' ) ; $ lines = file ( $ filePath , FILE_IGNORE_NEW_LINES | FILE_SKIP_EMPTY_LINES ) ; ini_set ( 'auto_detect_line_endings' , $ autodetect ) ; return $ lines ; }
docstring: Read lines from the file, auto detecting line endings.
  
  @param string $filePath
  
  @return array
docstring_tokens: Read lines from the file auto detecting line endings .