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
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.