schema: version 7.3

numbas · Mar 6, 2024 · 60531fd · 60531fd
1 parent 0558c26
commit 60531fd
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/schema/exam_schema.7.2.json → schema/exam_schema.7.3.json b/schema/exam_schema.7.2.json → schema/exam_schema.7.3.json
diff --git a/schema/index.html b/schema/index.html
@@ -8,19 +8,19 @@
     <link rel="stylesheet" href="schema_doc.css">
     <script src="schema_doc.js" defer></script>
 
-    <title>Numbas exam schema v7.2</title>
+    <title>Numbas exam schema v7.3</title>
 </head>
 <body id="root">
     <header>
-        <h1>Numbas exam schema v7.2</h2>
+        <h1>Numbas exam schema v7.3</h2>
     </header>
     <main>
         <div class="intro">
             <p><a href="https://www.numbas.org.uk">Numbas</a> <code>.exam</code> files are JSON objects, with an additional comment line at the start describing the version of the format used.</p>
             <p>The line for the current version should look like this:</p>
             <pre>// Numbas version: exam_results_page_options</pre>
             <p>The rest of the file should consist of a single JSON object, matching the following schema.</p>
-            <p><a href="exam_schema.7.2.json">Download the schema in JSON-Schema format</a></p>
+            <p><a href="exam_schema.7.3.json">Download the schema in JSON-Schema format</a></p>
         </div>
 
     <article class="schema open">

diff --git a/schema/make_schema.py b/schema/make_schema.py
@@ -1,7 +1,7 @@
 import json
 import jinja2
 
-version = '7.2'
+version = '7.3'
 
 with open(f'exam_schema.{version}.json') as f:
     schema = json.loads(f.read())