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;
}