Here's what I have in the two necessary files:
Good stuff. You should post this on the Talk page for the Short URL
help page on mediawiki.org
so it's documented for others. I am
_certain_ others will appreciate it - questions about this have shown up
on the mwusers forum.