From: Aarni Koskela <redacted>
Date: Sun, 23 Jun 2024 15:03:08 +0000 (+0300)
Subject: server : fix JSON-Scheme typo (#7975)
X-Git-Tag: upstream/0.0.4488~1280
X-Git-Url: https://git.djapps.eu/?a=commitdiff_plain;h=6a2f298bd784403c5c33eebb822217ec5d9b5590;p=pkg%2Fggml%2Fsources%2Fllama.cpp

server : fix JSON-Scheme typo (#7975)
---

diff --git a/examples/server/public/index-new.html b/examples/server/public/index-new.html
index 19c9f643..5513e912 100644
--- a/examples/server/public/index-new.html
+++ b/examples/server/public/index-new.html
@@ -634,12 +634,12 @@ return html`
       <div>
         <div class="grammar">
           <label for="template"></label>
-          <textarea id="grammar" name="grammar" placeholder="Use GBNF or JSON-Scheme + Converter" value="${params.value.grammar}" rows=4 oninput=${updateParams}/>
+          <textarea id="grammar" name="grammar" placeholder="Use GBNF or JSON Schema + Converter" value="${params.value.grammar}" rows=4 oninput=${updateParams}/>
         </div>
         <div class="grammar-columns">
           <div class="json-schema-controls">
             <input type="text" name="prop-order" placeholder="Order: prop1,prop2,prop3" oninput=${updateGrammarJsonSchemaPropOrder} />
-            <button type="button" class="button-grammar" onclick=${convertJSONSchemaGrammar}>Convert JSON-Scheme</button>
+            <button type="button" class="button-grammar" onclick=${convertJSONSchemaGrammar}>Convert JSON Schema</button>
           </div>
         </div>
       </div>