A WordPress-Plugin that reloads all pages when a file in the current theme is updated.