MediaWiki REL1_32
Fetcher.php
Go to the documentation of this file.
1<?php
9
13interface Fetcher {
20 public function fetchFile( $url );
21
29 public function fetchDirectory( $pattern );
30}
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.