Hello,
I'm running an older wiki using MediaWiki 1.1.
I've uploaded a media file with a lower case name, e.g., "myfile". But when viewing the image page, the file name is capitalized to "Myfile". Is there anyway to preserve the case of the uploaded file?
I am expecting readers to click on a media link [[Media:...]] to save the file locally, and I'd really like to preserve the lower case filename when do so.
Thanks very much! -Amy
On 20/05/05, A Chan chanamy1@sbcglobal.net wrote:
I've uploaded a media file with a lower case name, e.g., "myfile". But when viewing the image page, the file name is capitalized to "Myfile". Is there anyway to preserve the case of the uploaded file?
This is because, unless told not to, MediaWiki ignores the case of the first letter in a title - this is so that you can type "...is a kind of [[tree]]", and be linked to an article with the displayed title "Tree". The behaviour can be turned off globally - for instance, a dictionary-type project may not want this behaviour - but not on a case-by-case basis. Because the name of a file is also the title of its description page, it too defaults to beginning upper-case.
See also http://bugzilla.wikimedia.org/show_bug.cgi?id=2118
Hi there,
I want to have a section of my page do some <?php processing ?> As far as I know, is the best way just to make an extension?
Are their forms or form processing in MediaWiki?
Graeme.
On 20/05/05, Graeme Canivet gjcanive@uwaterloo.ca wrote:
I want to have a section of my page do some <?php processing ?> As far as I know, is the best way just to make an extension?
Yes, this is exactly what extensions (particularly the <tag>stuff</tag> kind) are for. Remember that anything too flexible can introduce the ability for users to insert malicious code to be run on your server, so keep it specific.
Are their forms or form processing in MediaWiki?
As in specific markup and whatever for creating them? No.
A Chan wrote:
Hello,
I'm running an older wiki using MediaWiki 1.1.
You should strongly consider upgrading to a current version (1.4.4 is the current stable release). The 1.1 branch has not been maintained for a long time, and may contain a number of exploitable security vulnerabilities.
I've uploaded a media file with a lower case name, e.g., "myfile". But when viewing the image page, the file name is capitalized to "Myfile". Is there anyway to preserve the case of the uploaded file?
I am expecting readers to click on a media link [[Media:...]] to save the file locally, and I'd really like to preserve the lower case filename when do so.
Filenames of uploads are strongly tied to the wiki page system, and must conform to the rules of page naming. Normally page titles are forced to capitalize the initial letter, allowing links [[foo]] and [[Foo]] to reference the same page.
You can disable this behavior for all page titles in current versions of MediaWiki by setting $wgCapitalLinks = false; but this causes other things to change: for instance all those [[foo]] links will no longer go to the same page as [[Foo]] and it may require work to clean things up. You cannot configure this separately for uploads and pages.
-- brion vibber (brion @ pobox.com)
mediawiki-l@lists.wikimedia.org