I don't know where the repository is.
Ah, they are both toolserver messages. I thought they were MediaWiki. I'll fix those.