Translations:Manual:GetText.php/3/en

$file file is a maintenance script that outputs content of a given page (wikitext) to stdout.