Change Details

I [removed](https://www.mediawiki.org/w/index.php?title=MediaWiki:Gadgets-definition&diff=2542768&oldid=2539611) a gadget dependency on MediaWiki.org. It was depending on jquery.mwExtension, which no longer exists. 40 minutes later, ResourceLoader still doesn't recognize that the dependency has been removed, so there are "Unknown dependency" errors. This is shown in https://www.mediawiki.org/w/load.php?debug=false&lang=en&modules=startup&only=scripts&skin=vector , even if I empty cache and hard reload that page directly.

I [removed](https://www.mediawiki.org/w/index.php?title=MediaWiki:Gadgets-definition&diff=2542768&oldid=2539611) a gadget dependency on MediaWiki.org. It was depending on jquery.mwExtension, which no longer exists. 40 minutes later, ResourceLoader still doesn't recognize that the dependency has been removed, so there are "Unknown dependency" errors. This is shown in https://www.mediawiki.org/w/load.php?debug=false&lang=en&modules=startup&only=scripts&skin=vector , even if I empty cache and hard reload that page directly. For posterity, current content of that URL is P5917.

I [removed](https://www.mediawiki.org/w/index.php?title=MediaWiki:Gadgets-definition&diff=2542768&oldid=2539611) a gadget dependency on MediaWiki.org. It was depending on jquery.mwExtension, which no longer exists. 40 minutes later, ResourceLoader still doesn't recognize that the dependency has been removed, so there are "Unknown dependency" errors. This is shown in https://www.mediawiki.org/w/load.php?debug=false&lang=en&modules=startup&only=scripts&skin=vector , even if I empty cache and hard reload that page directly. For posterity, current content of that URL is P5917.