Automatically refreshes page when network errors occur
Ce script ne devrait pas être installé directement. C'est une librairie créée pour d'autres scripts. Elle doit être inclus avec la commande // @require https://update.greasyfork.org/scripts/551832/1673255/Auto%20Refresh%20on%20Network%20Errors.js
