adrianheine added a comment. Even if some component does not depend on MediaWiki, I'd still consider it a MediaWiki extension if it optionally provides MediaWiki integration. Currently, all our resource loading happens through `ResourceLoader`, and that won't change soon.
TASK DETAIL https://phabricator.wikimedia.org/T75020 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: adrianheine Cc: JanZerebecki, Ricordisamoa, Jonas, Aklapper, JeroenDeDauw, Wikidata-bugs, Tobi_WMDE_SW, adrianheine, Luke081515, aude _______________________________________________ Wikidata-bugs mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
