LabeledMenu.php

Go to the documentation of this file.

<?php
declare(strict_types=1);
 
/* Copyright (c) 2019 Nils Haagen <nils.haagen@concepts-and-training.de> Extended GPL, see docs/LICENSE */
 
namespace ILIAS\UI\Component\Menu;
 
use ILIAS\UI\Component;
 
interface LabeledMenu extends Menu
{
    public function getLabel();
 
    public function withLabel($label) : LabeledMenu;
}