Greasemonkey 4.13 release

The entire list of bugs handled in this release is also available via the 4.13 milestone on GitHub. If you are using this version and notice problems, it's best to let us know at greasemonkey-users (and be clear that it's with this version).

New features:

• GM.openInTab() now works in Firefox for Android. (#3189)

Fixed bugs:

• Importing a backup could fail when "overwrite already installed scripts" (enabled by default) was disabled. (#3195)
• Previously unreliable automatic script updates should now work as intended. (#3190)
  

Greasemonkey 4.12 Release

 The entire list of bugs handled in this release is also available via the 4.12 milestone on GitHub. If you are using this version and notice problems, it's best to let us know at greasemonkey-dev (and be clear that it's with this version).

New features:

• Ability to edit text @resource files. (#2733)
  
• Support for Firefox on Android. (#3173)

Fixed bugs:

• Code highlighting for newer Javascript features. (#3115)
• An invalid user @match could break opening the monkey menu. (#3171)
  
• Add a scroll bar when too many menu commands are registered to fit on one screen. (#3177)
  

Greasemonkey 4.11 Release

The entire list of bugs handled in this release is also available via the 4.11 milestone on GitHub. If you are using this version and notice problems, it's best to let us know at greasemonkey-dev (and be clear that it's with this version).

New features:

• Support translation for @name and @description of user scripts. (#3089)
• First party support for GM.registerMenuCommand. (#3078)

Greasemonkey 4.10 Release

The entire list of bugs handled in this release is also available via the 4.10 milestone on GitHub. (Due to a small human error (and the fact that they don't let you re-use version numbers), the version available from addons.mozilla.org is called "4.10.0" -- this is the same version.) If you are using this version and notice problems, it's best to let us know at greasemonkey-dev (and be clear that it's with this version).

New features:

• Accessibility enhancements: Appropriate metadata for and a script editor compatible with screen readers. (#3058, #3059, #3060)

Fixed bugs:

• GM_xmlHttpRequest(): status is null when readyState < 4. (#3068)

Greasemonkey 4.9 Release

The entire list of bugs handled in this release is also available via the 4.9 milestone on GitHub. If you are using this version and notice problems, it's best to let us know at greasemonkey-dev (and be clear that it's with this version).

Fixed bugs:

• Error handling scripts with certain names (bug added in v4.8). (#3035)

Greasemonkey 4.8 Release

The entire list of bugs handled in this release is also available via the 4.8 milestone on GitHub. If you are using this version and notice problems, it's best to let us know at greasemonkey-dev (and be clear that it's with this version).

Fixed bugs:

• Don't re-enable scripts when saving in editor. (#3008)
• "New user script" doesn't open a new tab. (#2994)
• Log err.message instead of <unavailable> err object. (#2939)

Greasemonkey 4.7 Release

The entire list of bugs handled in this release is also available via the 4.6 milestone on GitHub. If you are using this version and notice problems, it's best to let us know at greasemonkey-dev (and be clear that it's with this version).

New features:

• Automatic update support (#2531)
• Per-user include/exclude/match settings (#2728)

Warning!  For the first time, automatic updates will destroy local edits made since install time.  After that point, we track both install time and edit time and will not overwrite edits-since-install with new automatic updates.  Unfortunately we weren't tracking this information until the feature was added.