Lucas_Werkmeister_WMDE added a comment.
> `extension.json` can define dependencies on other extensions <https://www.mediawiki.org/wiki/Manual:Extension_registration#Requirements_(dependencies)>. Is there a reason why we aren’t using that for this? (Though I haven’t tested what kind of warnings this produces if the required extensions are missing.) It looks like this: F31064230: Screen Shot 2019-11-13 at 14.21.49.png <https://phabricator.wikimedia.org/F31064230> TASK DETAIL https://phabricator.wikimedia.org/T238210 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: Lucas_Werkmeister_WMDE Cc: Lucas_Werkmeister_WMDE, darthmon_wmde, DannyS712, Nandana, Mringgaard, Lahi, Gq86, GoranSMilovanovic, QZanden, LawExplorer, _jensen, rosalieper, Scott_WUaS, Wikidata-bugs, aude, Mbch331
_______________________________________________ Wikidata-bugs mailing list Wikidata-bugs@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
