This week, the CodeMirror integration was merged into core. That is a code editor which will be available for the theme and plugin editor, the HTML widget and the custom CSS field in the customizer.
Customize meeting from September 11
The team discussed various topics:
- Notification area in the customizer (#35210 – was merged this week),
- CodeMirror integration for code editing (#12423 – also integrated this week),
- and other things.
More details on that in the post »Customize Meeting Summary: September 11th« by Jeffrey Paul.