From 803d4c371835a2e6ef41add724533fd16d84f3f5 Mon Sep 17 00:00:00 2001
From: Dominique FOURNIER <dominique.fournier@grenoble.cnrs.fr>
Date: Thu, 13 Apr 2023 21:54:09 +0200
Subject: [PATCH] dbjsonDecode : php5 -> php

---
 tools/dbjsonDecode.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/dbjsonDecode.php b/tools/dbjsonDecode.php
index 520c9d5..62bcc67 100755
--- a/tools/dbjsonDecode.php
+++ b/tools/dbjsonDecode.php
@@ -1,4 +1,4 @@
-#!/usr/bin/php5
+#!/usr/bin/php
 <?php
 if (! isset($argv[1])) {
     die("No file to decode provided\n");