Manual:$wgFileExtensions

From mediawiki.org
Jump to navigation Jump to search
This page is a translated version of the page Manual:$wgFileExtensions and the translation is 36% complete.
Other languages:
English • ‎español • ‎français • ‎italiano • ‎magyar • ‎português • ‎русский • ‎中文 • ‎日本語 • ‎한국어
Carregamentos: $wgFileExtensions
É a lista das extensões preferidas para enviar os ficheiros. Ao enviar ficheiros com extensões que não estejam na lista irá ativar um aviso.
Introduzida na versão:1.2.0
Removida na versão:ainda em uso
Valores permitidos:(matriz de strings)
Valor por omissão:veja abaixo

Detalhes

$wgFileExtensions is the list of allowed/preferred extensions for uploading files in LocalSettings.php . It is overridden, however, by $wgFileBlacklist and $wgMimeTypeBlacklist .

If $wgStrictFileExtensions is set to true (default) then this $wgFileExtensions array is the list of allowed extensions, and all others are blocked.

If $wgStrictFileExtensions is set to false then users will only get a warning when uploading files with extensions not in this list. i.e. $wgFileExtensions is then only a preferred set of extensions. In this case some particularly dangerous file extensions will still be blocked using $wgFileBlacklist and $wgMimeTypeBlacklist.

If $wgCheckFileExtensions is false, this option has no effect since all file extensions will be permitted without performing any checks.

If $wgEnableUploads is set to false, this option has no effect since all uploading is disallowed.

Some files, for example OpenDocument files (e.g. used by OpenOffice.org as odt, ods, odg, ...), use MIME types that don't match with their extension (or something similar). Uploading such files results in an error message like The file is corrupt or has an incorrect extension. Please check the file and upload again.. In such cases you can adjust the mapping of file extensions to mime types, see MIME type validation.

Valores predefinidos

MediaWiki version:
1.27
$wgFileExtensions = [ 'png', 'gif', 'jpg', 'jpeg', 'webp' ];
MediaWiki versions:
1.3 – 1.26
$wgFileExtensions = array( 'png', 'gif', 'jpg', 'jpeg' );
MediaWiki version:
1.2
$wgFileExtensions = array( "png", "jpg", "jpeg", "ogg" );

Exemplo

$wgFileExtensions is a php array, which is initialised with a default (sensible) set of file extensions. In LocalSettings.php you might use array operations such as...

// Add just one filetype to the default array
$wgFileExtensions[] = 'pdf';

// Add several file types to the default array
$wgFileExtensions = array_merge(
    $wgFileExtensions, [
        'pdf', 'ppt', 'jp2', 'doc', 'docx', 'xls', 'xlsx'
    ]
);

// Override the default with a bundle of filetypes:
$wgFileExtensions = [
    'png', 'gif', 'jpg', 'jpeg', 'jp2', 'webp', 'ppt', 'pdf', 'psd',
    'mp3', 'xls', 'xlsx', 'swf', 'doc', 'docx', 'odt', 'odc', 'odp',
    'odg', 'mpp', 'pptx'
];

Consulte também