Translations:Manual:$wgExtensionInfoMTime/4/en

A good idea would be to set this to one file, you can just `touch` that one to invalidate the cache.