Thread:Support/MediaWiki:Flaggedrevs-protect-legend/reply

No, it should not use int: instead of MediaWiki:. Within the same instance of MediaWiki the documentation entry point should be static between user interface languages, and not dynamic.