Translations:Manual:GlobalFunctions.php/14/en

Use $findFile if you need to get files only from the local repository.