fix JSINFO.toc undefined error
due update for extension manager