本文整理汇总了PHP中plugin_manager::standard_plugins_list方法的典型用法代码示例。如果您正苦于以下问题：PHP plugin_manager::standard_plugins_list方法的具体用法？PHP plugin_manager::standard_plugins_list怎么用？PHP plugin_manager::standard_plugins_list使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类plugin_manager的用法示例。
在下文中一共展示了plugin_manager::standard_plugins_list方法的2个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的PHP代码示例。
示例1: init_is_standard
/**
* Sets {@link $source} property to one of plugin_manager::PLUGIN_SOURCE_xxx
* constants.
*
* If the property's value is null after calling this method, then
* the type of the plugin has not been recognized and you should throw
* an exception.
*/
public function init_is_standard()
{
$standard = plugin_manager::standard_plugins_list($this->type);
if ($standard !== false) {
$standard = array_flip($standard);
if (isset($standard[$this->name])) {
$this->source = plugin_manager::PLUGIN_SOURCE_STANDARD;
} else {
if (!is_null($this->versiondb) and is_null($this->versiondisk) and plugin_manager::is_deleted_standard_plugin($this->type, $this->name)) {
$this->source = plugin_manager::PLUGIN_SOURCE_STANDARD;
// to be deleted
} else {
$this->source = plugin_manager::PLUGIN_SOURCE_EXTENSION;
}
}
}
}示例2: set_source
/**
* @see plugintype_interface::set_source()
*/
public function set_source()
{
$standard = plugin_manager::standard_plugins_list($this->type);
if ($standard !== false) {
$standard = array_flip($standard);
if (isset($standard[$this->name])) {
$this->source = plugin_manager::PLUGIN_SOURCE_STANDARD;
} else {
$this->source = plugin_manager::PLUGIN_SOURCE_EXTENSION;
}
}
}