A mirror for MediaWiki Extension:StringUtils