public function offsetSet($index, $newval) { $this->changed = true; $this->registerFoundToken($newval); parent::offsetSet($index, $newval); }