Search translations

This wiki requires that files have an extension — like ".JPG" at the end of the filename.

This wiki requires that files have an extension — like ".JPG" at the end of the filename.

The file has no extension (like ".jpg").

When using the filename as caption, also display the file extension

The default filename for uploaded files

Error during upload (illegal filename).

This wiki does not accept filenames that end in the extension ".$1".

This wiki does not accept filenames that end in the extension ".$1".

Error during upload (filename too short).

Retrieves the JSON of all navigation examples sourced from the StructuredNavigation extension. This will be from the version of the extension software that the wiki has installed.

The filename for the download of the generated spreadsheet file

A PHP extension prevented the upload of the file for "$1".

The source file name does not have an extension.

The planned file name does not have an extension.

Enter the full filename for storing this file on this wiki

The destination filename already exists

The filename is not allowed.

The filename is too short.

The target filename is invalid.

Error: A MediaWiki extension prevented the modification of the target page.

Target file extension does not match the extension of the original file.

The file does not have the required extension: $1.

This is the log of actions related to the Cargo extension.

The RT extension encountered an error when talking to the RT database.

You have reached the end of the list!