Source

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

public function json() {
		$json                    = parent::json();
		$json['editor_settings'] = $this->editor_settings;
		$json['input_attrs']     = $this->input_attrs;
		return $json;
	}