A MediaWiki extension that does one-time string substitutions (for timestamps, random and fake IDs)