diff --git a/core/plugin_api.php b/core/plugin_api.php index dc841c82ae..834400204e 100644 --- a/core/plugin_api.php +++ b/core/plugin_api.php @@ -328,6 +328,19 @@ function plugin_child( $p_child ) { } # ## Plugin Management Helpers + +/** + * Checks if a given plugin has been registered and initialized, + * and returns a boolean value representing the "loaded" state. + * @param string Plugin basename + * @return boolean Plugin loaded + */ +function plugin_is_loaded( $p_basename ) { + global $g_plugin_cache_init; + + return ( isset( $g_plugin_cache_init[ $p_basename ] ) && $g_plugin_cache_init[ $p_basename ] ); +} + /** * Converts a version string to an array, using some punctuation and * number/lettor boundaries as splitting points.