/* XXX ERROR -- could not find '++resource++dropdown-menu.js'*/