From b85e8650e02254b4d4bc443a70e57dcaa585d2a4 Mon Sep 17 00:00:00 2001
From: Nemo <commits@captnemo.in>
Date: Tue, 18 Apr 2023 17:56:44 +0530
Subject: [PATCH] [php] Fix sorting

---
 src/php.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/php.py b/src/php.py
index 16e243de..a16ff33e 100644
--- a/src/php.py
+++ b/src/php.py
@@ -37,7 +37,7 @@ with open("releases/php.json", "w") as f:
         json.dumps(
             dict(sorted(
                 releases.items(),
-                key=lambda x: list(map(str, x[0].split(".")))
+                key=lambda x: list(map(int, x[0].split(".")))
             )),
             indent=2,
         )