Translations:Manual:ImportDump.php/21/en

In case you get an error "failed to open stream: No such file or directory", make sure that the specified file does exist and that PHP has access to it.