AllenJB 658fafec3e Update search to use new pre-combined indexes + local docs support (#1586) ...

* Update search.js to use new pre-combined indexes; Support for running search on local docs

* Update search.js to use new pre-combined indexes; Support for running search on local docs

2025-11-04 17:17:06 +00:00

..

ext

Add syntax highlighting and copy button

2025-08-12 14:29:30 +01:00

common.js

Optimize style of supported-versions table on mobile (#1243)

2025-08-18 12:08:16 +08:00

interactive-examples.js

interactive-examples.js: Fix handling on newlines (multiple newlines collapsed)

2025-10-04 15:10:18 +01:00

php-web-README.md

interactive-examples.js: Fix handling on newlines (multiple newlines collapsed)

2025-10-04 15:10:18 +01:00

php-web.mjs

Update WASM to PHP 8.4.4, and enable mbstring and XML extensions

2025-03-07 02:05:35 +01:00

php-web.wasm

Update WASM to PHP 8.4.4, and enable mbstring and XML extensions

2025-03-07 02:05:35 +01:00

search-index.php

Update search to use new pre-combined indexes + local docs support (#1586)

2025-11-04 17:17:06 +00:00

search.js

Update search to use new pre-combined indexes + local docs support (#1586)

2025-11-04 17:17:06 +00:00

usernotes.js

Minor optimizations in CSS files to shed some weight (#612)

2022-07-05 11:38:25 +01:00