Source

File: wp-includes/customize/class-wp-customize-theme-control.php

public function to_json() {
		parent::to_json();
		$this->json['theme'] = $this->theme;
	}