Automatically refreshes page when network errors occur
Ce script ne doit pas être installé directement. C'est une librairie destinée à être incluse dans d'autres scripts avec la méta-directive // @require https://update.greasyfork.org/scripts/551832/1673255/Auto%20Refresh%20on%20Network%20Errors.js
