Omitting .js in scriptlet names

[hawkeye116477]

Prerequisites

• I verified that this is not a filter issue
  • Filter issues MUST be reported at filter issue tracker
• This is not a support issue or a question
  • Support issues and questions are handled at /r/uBlockOrigin
• I performed a cursory search of the issue tracker to avoid opening a duplicate issue
  • Your issue may already be reported.
• I tried to reproduce the issue when...
  • uBlock Origin is the only extension
  • uBlock Origin with default lists/settings
  • using a new, unmodified browser profile
• I am running the latest version of uBlock Origin
• I checked the documentation to understand that the issue I report is not a normal behavior

Description

On uBO web-ext I can do for example belvederehotel.pl##+js(abort-on-property-read, pf_queen.push), so I can omit .js from scriptlet name, but seems that doesn't work with uBO Legacy.

[JustOff]

This is a known limitation of uBO legacy that skipping .js for long scriptlet names does not work you can only use the following options:

belvederehotel.pl##+js(abort-on-property-read.js, pf_queen.push)
belvederehotel.pl##+js(aopr.js, pf_queen.push)
belvederehotel.pl##+js(aopr, pf_queen.push)

These, however, cover all the syntaxes currently used in native uBO subscriptions, and I'm inclined to wantfix this issue, unless someone is going to take on the task of getting rid of the filter syntax converter and completely rewriting the parsing routine.

[hawkeye116477]

As I checked, seems that only first case which you mentioned works in my filters tab, but if case from my previous post is in the filterlist, then it's converted and works good.
However there are some other things not converted, so fine, I'll try to adapt to new shorter names in filterlists 😄

[JustOff]

my filters is a special case, see #228.

[JustOff]

If something specific does not work, open a separate issue according to the proposed template.