Fix `Ui/Message/Manager.getPermission()` for permissions with dashes
[GitHub/WoltLab/WCF.git] / wcfsetup / install / files / lib / data / option / OptionList.class.php
CommitLineData
158bd3ca
TD
1<?php
2namespace wcf\data\option;
3use wcf\data\DatabaseObjectList;
4
5/**
6 * Represents a list of options.
7 *
9f959ced 8 * @author Alexander Ebert
7b7b9764 9 * @copyright 2001-2019 WoltLab GmbH
158bd3ca 10 * @license GNU Lesser General Public License <http://opensource.org/licenses/lgpl-license.php>
e71525e4 11 * @package WoltLabSuite\Core\Data\Option
e82bf444
MS
12 *
13 * @method Option current()
14 * @method Option[] getObjects()
15 * @method Option|null search($objectID)
81952e86 16 * @property Option[] $objects
158bd3ca
TD
17 */
18class OptionList extends DatabaseObjectList {
19 /**
e82bf444 20 * @inheritDoc
158bd3ca 21 */
e82bf444 22 public $className = Option::class;
dcb3a44c 23}