// Then activate the extension
//* DEBUG: */ echo __FUNCTION__."(<font color=\"#0000aa\">".__LINE__."</font>): ext_name={$data['ext_name']}<br />\n";
ACTIVATE_EXTENSION($data['ext_name']);
// Then activate the extension
//* DEBUG: */ echo __FUNCTION__."(<font color=\"#0000aa\">".__LINE__."</font>): ext_name={$data['ext_name']}<br />\n";
ACTIVATE_EXTENSION($data['ext_name']);