{
global $NOTES, $_CONFIG, $INC_POOL;
// We want to register an extension and registration status is by default "failed" (= false)
{
global $NOTES, $_CONFIG, $INC_POOL;
// We want to register an extension and registration status is by default "failed" (= false)