original_string: private function getFileOrDirectorySettings($settings, $key) {
          $filesOrDirectories = $settings->getOptional($key, array());
          if (!is_array($filesOrDirectories))
              $filesOrDirectories = array($filesOrDirectories);
          return $filesOrDirectories;
      }
code: private function getFileOrDirectorySettings($settings, $key) {
          $filesOrDirectories = $settings->getOptional($key, array());
          if (!is_array($filesOrDirectories))
              $filesOrDirectories = array($filesOrDirectories);
          return $filesOrDirectories;
      }
code_tokens: private function getFileOrDirectorySettings ( $ settings , $ key ) { $ filesOrDirectories = $ settings -> getOptional ( $ key , array ( ) ) ; if ( ! is_array ( $ filesOrDirectories ) ) $ filesOrDirectories = array ( $ filesOrDirectories ) ; return $ filesOrDirectories ; }
docstring: Returns plain settings arrays with file or directory specifications.
  @param Settings $settings
  @param string $key
  @return array[]
docstring_tokens: Returns plain settings arrays with file or directory specifications .