$title = $title; } public function write_header() { echo "Some non-JS stuff
"; $this->write_js(); } public function write_trailer() { echo "Bla bla
"; } protected abstract function write_js(); } ?>