Am 21.01.2014 20:53, schrieb Andreas Dick:
Hitting F5 two times should be enough. We have also bin/updatecss.sh which updates css files forcing browsers to load modified image files.
have you tried Ctrl+F5 for reloading without cache?
Yesterday I had the same issue after an update of my PhpMyAdmin installation. They modified the CSS file (some positioned background images) and Firefox showed the wrong icons, even after pressing Ctrl + F5 several times.
After restarting Firefox everything was displayed correctly. So that's probably a bug in the latest firefox...
Dennis