Pull Request: allow "/" when editing code by soyuka · Pull Request #1177 · php/web-php · GitHub
Author: soyuka
It was reported that you can't hit "/" when editing code, this fixes it. I was suprised that this part of the code doesn't use `mousetrap` as in `js/common.js`.