Files: wp-includes/customize/class-wp-customize-code-editor-control.php

Render a JS template for control display.

Don’t render the control content from PHP, as it’s rendered via JS on load.

Enqueue control related scripts/styles.

Refresh the parameters passed to the JavaScript via JSON.