Add ext-searchbox in workflow-editor#1085

panicking wants to merge 2 commits intojenkinsci:masterjenkinsci/workflow-cps-plugin:masterfrom

panicking:feat/add-search-workflow-editorpanicking/workflow-cps-plugin:feat/add-search-workflow-editorCopy head branch name to clipboard