Closed georgestephanis closed 7 years ago
If they merged in, yeah.
On Jul 6, 2017 4:19 PM, "Ken Newman" notifications@github.com wrote:
Would they still be available (packaged with core) so that plugins could add them?
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/georgestephanis/codemirror-wp/issues/4#issuecomment-313507701, or mute the thread https://github.com/notifications/unsubscribe-auth/AA5b3410hyQtdkAiQa231zBZhA-G6IHIks5sLUEugaJpZM4OJtYV .
I enabled a slew of add-ons in #52.
Would they still be available (packaged with core) so that plugins could add them?