readyLabelPrefix = $readyLabelPrefix; $this->readyLabelSuffix = $readyLabelSuffix; } /** @var bool */ private $enabled = true; function setEnabled(bool $enabled=true): void { $this->enabled = $enabled; } /** @var string */ private $readyLabelPrefix; function setReadyLabelPrefix(string $readyLabelPrefix): void { $this->readyLabelPrefix = $readyLabelPrefix; } /** @var string */ private $readyLabelSuffix; function setReadyLabelSuffix(string $readyLabelSuffix): void { $this->readyLabelSuffix = $readyLabelSuffix; } private $readyLabelClass = "btn-success"; function setReadyLabelClass(string $readyLabelClass): void { $this->readyLabelClass = $readyLabelClass; } private $afterModified_js; function setAfterModified_js(string $afterModified_js): void { $this->afterModified_js = $afterModified_js; } const HAVE_JQUERY = true; function printJquery(): void { if (!$this->enabled) return; ?> enabled = $cond; $this->readyLabelPrefix = $prefix; $this->afterModified_js = $setModified; $this->printJquery(); } }