Updated mediawiki/core Project: mediawiki/extensions/Gadgets rEGAD268d49a8c604

Don't load legacy gadget scripts

The time has come to stop supporting legacy gadgets that haven't
migrated to ResourceLoader yet.

For many Gadgets, migrating to ResourceLoader will be as easy
as adding "[ResourceLoader]" to its definition on MediaWiki:Gadgets-definition.

However for older gadgets, they may need more maintenance. Though
similarly they may've already been malfunctioning silently.

The most common techniques used by legacy scripts, and what their
equivalents are in modern JavaScript, see:
https://www.mediawiki.org/wiki/ResourceLoader/Migration_guide_(users)

Ref T107399.

Change-Id: Ia5f7323a40a28541515ef3a3f5079f1cc940f392