fix a problem with the released version re extension_context.js