Case insensitive mimetype matching edge case

[David Faure]

On Wednesday 05 August 2009, David Faure wrote:
> Seems to me that we should instead introduce an attribute for
> case-sensitivity: <glob pattern="*.C" case-sensitive="true"/>
> and do everything else case-insensitively.

This would also fix bug https://bugs.freedesktop.org/show_bug.cgi?id=22634
because we could say that 
     <glob pattern="core"/>
should be case-sensitive="true" as well, so that it doesn't match files named 
"Core", which are definitely no core dumps.

Any reason against case-sensitive="true"?

-- 
David Faure, faure at kde.org, sponsored by Qt Software @ Nokia to work on KDE,
Konqueror (http://www.konqueror.org), and KOffice (http://www.koffice.org).