private static function getIgnoredFiles($file) {
    if (file_exists($file) === FALSE) {
      return array();
    }

    $contents = file_get_contents($file);
    if ($contents === FALSE) {
      return array();
    }

    return preg_split('/\s+/', $contents);
  }
private static function getIgnoredFiles($file) {
    if (file_exists($file) === FALSE) {
      return array();
    }

    $contents = file_get_contents($file);
    if ($contents === FALSE) {
      return array();
    }

    return preg_split('/\s+/', $contents);
  }
private static function getIgnoredFiles ( $ file ) { if ( file_exists ( $ file ) === FALSE ) { return array ( ) ; } $ contents = file_get_contents ( $ file ) ; if ( $ contents === FALSE ) { return array ( ) ; } return preg_split ( '/\s+/' , $ contents ) ; }
Retrieve array of file names from file.

@param string $file
@return array Array with files that should be ignored
Retrieve array of file names from file .