language = $language; $this->theme = $theme; $this->readonly = $readonly; $this->placeholder = $placeholder; $this->height = $height; $this->id = $id; } public function toJSON() { return json_encode([ 'model' => $this->model, 'language' => $this->language, 'theme' => $this->theme, 'readonly' => $this->readonly, 'placeholder' => $this->placeholder, 'height' => $this->height, 'id' => $this->id, ]); } } ?>

Loading editor...