xref: /dokuwiki/lib/plugins/config/core/Setting/SettingHidden.php (revision 5b784a2b834405d28627b116e3d44b7d16fc1840)
1<?php
2
3namespace dokuwiki\plugin\config\core\Setting;
4
5/**
6 * Class setting_hidden
7 */
8class SettingHidden extends Setting {
9    // Used to explicitly ignore a setting in the configuration manager.
10}
11