A Javascript to insert such kinds of <div/>s into wikitext is trivial to create. I am unsure that this shouldn't be sanitized.

That aside, @ssastry , Linter doesn't pick these up in its own self-closing test. Does Linter already do it this way?

Also, why are there two systems doing the same thing? 😃

$("<div />") actually inserts <div></div> into the HTML, so there's nothing wrong with it. Regardless, we shouldn't be applying HTML sanitization to JavaScript code.

In T176378#3623333, @kaldari wrote:

$("<div />") actually inserts <div></div> into the HTML, so there's nothing wrong with it. Regardless, we shouldn't be applying HTML sanitization to JavaScript code.

I don't need to use jquery on Mediawiki wikis to do something...

The root cause here is probably T18683: User CSS/JS should not be parsed for link tables without rendering.

By the way, it is entirely unnecessary to do $("<div />") when you can just do $("<div>"). We recommend the latter in our coding conventions: https://www.mediawiki.org/wiki/Manual:Coding_conventions/JavaScript#Creating_elements. It might be easier to just edit the affected pages.

In T176378#3623309, @Izno wrote:

That aside, @ssastry , Linter doesn't pick these up in its own self-closing test. Does Linter already do it this way?

Linter only processes pages having the wikitext content model.

Also, why are there two systems doing the same thing? 😃

The category preceded linter extension coming online ... and we didn't disable this category since some users were actually relying on it. At this point, we'll let this run its course, and once we replace Tidy, we'll disable this category.

Can I redirect the existing category pages to an appropriate linter page? Can someone work out what that linter URL would be?

In T176378#3653804, @cscott wrote:

Can I redirect the existing category pages to an appropriate linter page? Can someone work out what that linter URL would be?

[[Special:LintErrors/self-closed-tag]]

For the benefits of other subscribers of this ticket, here is the plan.

Since this category predated the linter extension and is no longer required, the plan is stop adding pages to this category and instead redirect that category page to the linter page since the linter output already handles this tag and also deals with content model constraints.

I would prefer to stop populating the category alone rather than stop populating + a redirect as this will be more confusing to editors ("a Category page that redirects to a Special page?").

Leave a note in tech notices for admins to delete the category because it will no longer be filled, or run a Mediawiki maintenance script to delete it.