adrianheine added a comment. As I recently wrote in https://phabricator.wikimedia.org/T75020#1629613:
> 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/T112120 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: adrianheine Cc: adrianheine, Addshore, aude, JanZerebecki, Aklapper, Lydia_Pintscher, Wikidata-bugs _______________________________________________ Wikidata-bugs mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
