Allow "/" when editing code (#1177)

Co-authored-by: Luffy <lufei@php.net>

js/search.js

@@ -294,6 +294,10 @@ const initSearchModal = () => {
 
     // Open when / is pressed
     document.addEventListener("keydown", (event) => {
+        if (event.target.contentEditable === "true") {
+            return;
+        }
+
         if (event.key === "/") {
             show();
             event.preventDefault();