dbjsonDecode : php5 -> php

2023-04-13 21:54:09 +02:00
parent e719b3e11c
commit 803d4c3718
1 changed files with 1 additions and 1 deletions
--- 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");