TheDJ removed a project: CodeEditor. TheDJ added a comment.
CodeEditor/CodeMirror can be removed, because those are only in the language-mode definition for highlighting, not in the extension's php code. TASK DETAIL https://phabricator.wikimedia.org/T260735 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: TheDJ Cc: TheDJ, Aklapper, MaxSem, XeroS_SkalibuR, Akuckartz, Adidsone1, darthmon_wmde, DannyS712, Nandana, Phukettaxigroup, lucamauri, Lahi, Gq86, Jontheil, GoranSMilovanovic, Jayprakash12345, QZanden, LawExplorer, _jensen, rosalieper, Scott_WUaS, freephile, Jrf, Wikidata-bugs, aude, Dinoguy1000, brion, ssastry, Arlolra, Jdforrester-WMF, Mbch331, Rxy
_______________________________________________ Wikidata-bugs mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
