File manager - Edit - /home/proidvn/me.proid.vn/wp-content/plugins/admin-menu-editor-pro/customizables/Settings/SettingGeneratorInterface.php
Back
<?php namespace YahnisElsts\AdminMenuEditor\Customizable\Settings; /** * This interface indicates that an object generates settings. You should be able * to retrieve the generated settings by iterating over the object. * * The implementing class can choose when to actually generate the settings. * For example, it might generate a fixed list of settings upon construction, * or it could generate new settings every time the object is iterated over. */ interface SettingGeneratorInterface extends \IteratorAggregate { }
| ver. 1.4 |
Github
|
.
| PHP 8.0.30 | Generation time: 0.14 |
proxy
|
phpinfo
|
Settings