Is this list an appropriate place to be discussing MediaWiki issues?

I was recently setting up a MediaWiki-based wiki and came across a use case where it did not generate pretty URLs consistently (in function Title->getLocalURL). I've filed a bug report and submitted a patch: https://bugzilla.wikimedia.org/show_bug.cgi?id=25718

As far as I can tell, this does not break existing links anywhere in a typical MediaWiki installation such as Wikipedia, but the commentators on the bug report don't seem convinced.

Could this list with its collective understanding of Wikipedia and MediaWiki's features be kind enough to comment? It seems like I've touched something at the core of how MediaWiki works, but in a part of the getLocalURL function that is rarely used.


Kiran Jonnalagadda