2011/6/27 Platonides Platonides@gmail.com
The relevant function is Title::getLocalURL() I think that in your quote function you need to skip '@$*(),' as well, and ".-_" wouldn't be needed there (but urllib.quote could differ from php urlencode). See wfUrlEncode in GlobalFunctions.php
Thanks Platonidea, I'll test localurl for your character list. In the meantime, I found that my one was a rather silly question since any html link to wiki pages from mediawiki software has this kind of code:
<a href="/wiki/Portal:Children%27s_literature" title="Portal:Children's literature">Portal:Children's literature</a>.
t.i., there is both the escaped version of the title of the page into href attribute, and the not-escaped version of the name of the page, inside the title attribute; the latter being mush simpler as a key to select links. :-)
Alex