pressgang-ccms/PressGangCCMSUI — pull request #2 by lnewson (2013-05-28 05:30:42+00:00)
Title: Added missing ext-searchbox.js for BZ #967690

The file is from ace build 02.07.2013. See: https://github.com/ajaxorg/ace-builds/blob/c669dbae73c42ed08e00752b53961a4ed33cde5c/src/ext-searchbox.js