id summary reporter owner description type status priority milestone component version severity resolution keywords cc focuses 43058 File search in theme & plugin editor window Mahesh901122 "Now we have using Code mirror for updating theme/plugin files. We have also create a directory tree of theme & plugin files. It is hard to search the file in the given directory tree. So, File search filed is useful to search particular file. This patch search `file name` & `file extensions` too." feature request new normal Awaiting Review Plugins normal has-patch ui, administration