| public setIsDeprecated ( boolean $is_deprecated ) : void | ||
| $is_deprecated | boolean | Set this element as deprecated |
| return | void | |
public function setIsDeprecated(bool $is_deprecated)
{
$this->setPhanFlags(Flags::bitVectorWithState($this->getPhanFlags(), Flags::IS_DEPRECATED, $is_deprecated));
} public function setIsDeprecated(bool $is_deprecated)
{
$this->element->setIsDeprecated($is_deprecated);
}
