platform/www/lib/plugins/config/core/Setting/SettingHidden.php


1
2
3
4
5
6
7
8
9
10

<?php

namespace dokuwiki\plugin\config\core\Setting;

/**
 * Class setting_hidden
 */
class SettingHidden extends Setting {
    // Used to explicitly ignore a setting in the configuration manager.
}