MediaWiki
1.34.4
Fetcher.php
Go to the documentation of this file.
1
<?php
8
namespace
LocalisationUpdate
;
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
extensions
LocalisationUpdate
includes
fetcher
Fetcher.php
Generated on Thu Sep 24 2020 22:29:04 for MediaWiki by
1.8.18