fetchFile( $url ); if ( $file ) { $files[$url] = $file; } } return $files; } }