// -----------------------------------------------------------------------------
// This is a Greasemonkey user script.
// -----------------------------------------------------------------------------
// General information and Default configuration settings
//
// Included in any web page using HTTP
// Excluded from any web page using HTTPS
//
// The plug-in is disabled by default and only its Enable/Disable button appears
// at the top of a page when it is loaded for the first time.
//
// Enables Auto Reloading of any webpage per user configured timeout.
// - Default Timeout configuration is Zero and timer is inactive
// - Timeout configuration ranges
// - Hours: 0-23
// - Minutes: 0-59
// - Seconds: 0-59
//
// Provide options for both Foreground and Background Reloads.
// - Foreground reloads is similar to clicking refresh on the browser.
// - Background reloads are silent and do not make any changes to web page.
// - Background reloads may require disabling page resident Timers
// - A prompt is displayed to provide page resident Timer ID to disable
// - If the Timer ID is not known click cancel to enter it later.
// - If no timers exist enter NONE to prevent future prompts
//
// Utilize browser cookies to preserve user configuration.
// - Cookies are identified by visited hosts and URL path.
// - Cookies are set to expire after 120 days from last update.
// - Configuration preserved in cookies includes:
// - Disable/Enable Extension
// - Reload type, Foreground/Background
// - Timer ID to disable when using Background reload type
// - Timeout configuration
// - Auto-Reload removal from a specific page
//
// -----------------------------------------------------------------------------