libraries/ManiaLib/Gui/Element.php
function setImageFocusid($imageFocusid)
    {
        $this->setStyle(null);
        $this->setSubStyle(null);
        $this->imageFocusid = $imageFocusid;
    }
function setImageFocusid($imageFocusid)
    {
        $this->setStyle(null);
        $this->setSubStyle(null);
        $this->imageFocusid = $imageFocusid;
    }
Set the image focus id of the element, used for internationalization