fix(theme): use builder.add_js_file for Sphinx 7+ compatibility

- Bump to 1.2.3.
- Register translations.js via builder.add_js_file() instead of mutating
  builder.script_files. In Sphinx 7+, script_files holds JavaScript
  objects rather than strings, so the old 'not in' duplicate-guard never
  matched and the file was re-appended on every build.

Signed-off-by: Gabriel Harris-Rouquette <gabizou@me.com>

Author: gabizou

CHANGELOG.md

@@ -1,5 +1,12 @@
 # Changelog
 
+## 1.2.3
+
+- Register `translations.js` via `builder.add_js_file()` instead of appending to
+  `builder.script_files`. In Sphinx 7+, `script_files` contains `JavaScript`
+  objects rather than strings, so the old duplicate-guard check no longer
+  matched and caused the file to be re-appended on every build.
+
 ## 1.2.2
 
 - Bump `install_requires` ceiling to `sphinx>=4.5,<10` so the theme installs

src/theme/__init__.py

@@ -1,4 +1,4 @@
-VERSION = (1, 2, 2)
+VERSION = (1, 2, 3)
 __version__ = '.'.join(str(v) for v in VERSION)
 
 

src/theme/theme.py

@@ -50,8 +50,7 @@ def init(app):
         app.config.html_search_language = strip_country(app.config.language)
 
     # Add translations.js for our JavaScript translations
-    if '_static/translations.js' not in app.builder.script_files:
-        app.builder.script_files.append('_static/translations.js')
+    app.builder.add_js_file('translations.js')
 
     app.connect('build-finished', copy_js_translations)