1
0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00

Search: Fix "g a" search (add comment to notify future devs)

This commit is contained in:
AllenJB
2025-11-06 07:39:32 +00:00
committed by Derick Rethans
parent e5c965b38d
commit 6eba7eba26

View File

@@ -57,6 +57,7 @@ const initPHPSearch = async (language) => {
items = await response.json();
try {
// Note: These indexes are also used by globalsearch in common.js
localStorage.setItem(
key,
JSON.stringify({