wp-includes/customize/class-wp-customize-code-editor-control.php:73Refresh the parameters passed to the JavaScript via JSON.
array public function json() { $json = parent::json(); $json['editor_settings'] = $this->editor_settings; $json['input_attrs'] = $this->input_attrs; return $json; }Introduced in 4.9.0. Unchanged from 6.7.7 through 7.1.0.
Signature, return type and hooks compared across 5 parsed releases.
src/wp-includes/customize/class-wp-customize-code-editor-control.php, and regenerated for each WordPress release so it tracks the code rather than a snapshot of it.