php/widgets/ButtonWidget.php
public function updateHref() {
		if ( $this->href !== null && !$this->isDisabled() ) {
			$this->button->setAttributes( [ 'href' => $this->href ] );
		} else {
			$this->button->removeAttributes( [ 'href' ] );
		}
		return $this;
	}
public function updateHref() {
		if ( $this->href !== null && !$this->isDisabled() ) {
			$this->button->setAttributes( [ 'href' => $this->href ] );
		} else {
			$this->button->removeAttributes( [ 'href' ] );
		}
		return $this;
	}
public function updateHref ( ) { if ( $ this -> href !== null && ! $ this -> isDisabled ( ) ) { $ this -> button -> setAttributes ( [ 'href' => $ this -> href ] ) ; } else { $ this -> button -> removeAttributes ( [ 'href' ] ) ; } return $ this ; }
Update the href attribute, in case of changes to href or disabled
state.

@return $this
Update the href attribute in case of changes to href or disabled state .