devpanel: fix wrong warning when no devtools plugin is installed
devpanel: fix wrong warning when no devtools plugin is installed

istrel/basisjs,basisjs/basisjs,fateevv/basisjs,smelukov/basisjs,tyanas/basisjs,basisjs/basisjs,basisjs/basisjs,fateevv/basisjs,istrel/basisjs,tyanas/basisjs,smelukov/basisjs,tyanas/basisjs,istrel/basisjs,smelukov/basisjs,fateevv/basisjs