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