Skip to content

Instantly share code, notes, and snippets.

@arantius
Created November 5, 2023 14:00
Show Gist options
  • Select an option

  • Save arantius/d8fadc5affd40fa5acdff34925189965 to your computer and use it in GitHub Desktop.

Select an option

Save arantius/d8fadc5affd40fa5acdff34925189965 to your computer and use it in GitHub Desktop.

Revisions

  1. arantius created this gist Nov 5, 2023.
    7 changes: 7 additions & 0 deletions bad-match.user.js
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,7 @@
    // ==UserScript==
    // @name Bad match
    // @description A user script with an improperly formatted @match, which should not install.
    // @version 1
    // @grant none
    // @match abc
    // ==/UserScript==