When running with --find-unused-code option, psalm reports the following error:
ERROR: MissingPropertyType - src/common/html/HTML_Element_Selectbox.class.php:30:15 - Property HTML_Element_Selectbox::$options does not have a declared type - consider list<HTML_Element_Option>|mixed (see https://psalm.dev/045)
protected $options;
We should fix it.