Wikimedia Bugzilla is closed!

I'm filing this bug because there seems to be some inconsistency in article capitalisation on, at least, wikipedia. I don't know who controls this, so the component's "general/unknown". No doubt devs who work on the wikimedia software will find a better category.

Two cases:

http://en.wikipedia.org/wiki/Mutinus_elegans
http://en.wikipedia.org/wiki/Proto-Japonic

both these articles resolve whether their first character is a capital or lowercase. I imagine there's a rewrite rule in place to enforce a Capital (for locales that have capital letters). 

However, navigating to "Mutinus Elegans" or "Proto-japonica" fails, even though the capitalisation of a page should be irrelevant in terms of the article it points to. "Mutinus Elegans", "mutinus elegans" and "MuTiNuS eLeGaNs" all refer to the same thing, and so should refer to the same page.

Similary, "proto-japonic", "Proto-Japonic" and "proto-Japonic" all refer the to the same thing.

Currently, navigating to either "-/wiki/Mutinus_Elegans" and "-/wiki/Proto-japonic" gives a "Wikipedia does not have an article with this exact name" notice, which is true, and irrelevant, as Wikipedia does have articles that resolve to identical if a case-cast (be it upper case or lower case) comparison is made. Since capitalisation is irrelevant to the identity of a subject, a retrieval check should never be on what the URI contains as page title string, but on a uniform case representation of that string.

so the bug, concisely: I suspect articles are resolved based on case sensitive string matching, which should in fact be case insensitive matching (and matching  ONLY, the actual served link should of course obey the URI case rules).