[PHP-WEBMASTER] [web-php] PR #1177: allow "/" when editing code

Pull Request: https://github.com/php/web-php/pull/1177 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`.

[PHP-WEBMASTER] [web-php] PR #1097: Run examples with php wasm

Pull Request: https://github.com/php/web-php/pull/1097 Author: soyuka Adds a PHP Wasm binary to run documentation examples in the browser. https://github.com/user-attachments/assets/5a28730d-265a-48dd-8fb8-9e5cea0f0d5b see also https://github.com/php/doc-en/issues/3259 I've builtin `PHP