/** * Get code number used by humans. * * @return string */ public function getNumber() { $result = parent::getNumber(); return $result; }