Automatically refreshes page when network errors occur
Dit script moet niet direct worden geïnstalleerd - het is een bibliotheek voor andere scripts om op te nemen met de meta-richtlijn // @require https://update.greatest.deepsurf.us/scripts/551832/1673255/Auto%20Refresh%20on%20Network%20Errors.js
