From d7dae699411f8f86213cef7215fc1f88a4e9f0ee Mon Sep 17 00:00:00 2001
From: Mark Scherer <dereuromark@users.noreply.github.com>
Date: Mon, 1 Jun 2026 14:18:18 +0200
Subject: [PATCH] Rename extension id to djot-php for registry submission

The registry id 'djot' is already taken by nzoschke/zed-djot, and ids
must be unique and immutable once published. Use 'djot-php' (name
'Djot (PHP)') to signal this is the variant tuned to the djot-php
parser. The internal language name (config.toml) and grammar key stay
'Djot'/'djot' since they identify the parsed language, not the
registry extension.
---
 extension.toml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/extension.toml b/extension.toml
index 4375e1c..2718198 100644
--- a/extension.toml
+++ b/extension.toml
@@ -1,5 +1,5 @@
-id = "djot"
-name = "Djot"
+id = "djot-php"
+name = "Djot (PHP)"
 description = "Syntax highlighting for djot, a modern light markup language"
 version = "0.1.0"
 schema_version = 1