MediaWiki REL1_30
Fetcher.php
Go to the documentation of this file.
1<?php
9
13interface Fetcher {
19 public function fetchFile( $url );
20
27 public function fetchDirectory( $pattern );
28}
Interface for classes which fetch files over different protocols and ways.
Definition Fetcher.php:13
fetchFile( $url)
Fetches a single resource.
fetchDirectory( $pattern)
Fetch a list of resources.