Movatterモバイル変換


[0]ホーム

URL:


Jump to content
MediaWiki
Search

Manual:$wgFileExtensions

From mediawiki.org
Translate this page
Languages:
Files and file uploads: $wgFileExtensions
This is the list of preferred extensions for uploading files. Uploading files with extensions not in this list will trigger a warning.
Introduced in version:1.2.0
Removed in version:Still in use
Allowed values:(array of strings)
Default value:see below
Other settings:Alphabetical |By function

Details

[edit]

$wgFileExtensions is the list of allowed/preferred extensions for uploading files inLocalSettings.php.It is overridden, however, by$wgProhibitedFileExtensions and$wgMimeTypeExclusions.

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 apreferred set of extensions.In this case some particularly dangerous file extensions will still be blocked using $wgProhibitedFileExtensions and $wgMimeTypeExclusions.

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 exampleOpenDocument files (e.g. used byOpenOffice.org as odt, ods, odg, ...), useMIME types that don't match with their extension (or something similar).Uploading such files results in an error message likeThe 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, seeMIME type validation.

Default values

[edit]
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");

Example

[edit]

$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:// This is usually not a good idea because newer important file extensions could be added in the defaults in later versions of MediaWiki.$wgFileExtensions=['png','gif','jpg','jpeg','jp2','webp','ppt','pdf','psd','mp3','xls','xlsx','swf','doc','docx','odt','odc','odp','odg','mpp','pptx'];

See also

[edit]
Retrieved from "https://www.mediawiki.org/w/index.php?title=Manual:$wgFileExtensions&oldid=6490959"
Categories:

[8]ページ先頭

©2009-2025 Movatter.jp