WONTFIX
The message error check could mark occurrences of {{int: … }} outside the Mediawiki: namespace as an error.
Doesn't sound worth the effort and performance.