http://www.mediawiki.org/wiki/Extension:Purge if a mouse click is okay instead of F5.
Sorry, I can't see how this could help towards the explained aim. It seems just an extension dealing with cache, which wasn't a problem at all for me since - as already written - I've completely turned it off from LocalSettings.php.