From 447b11257f1d900d0bd47409a31e94338a645848 Mon Sep 17 00:00:00 2001
From: Michael Weghorn <m.weghorn@posteo.de>
Date: Sun, 28 Oct 2018 23:08:57 +0100
Subject: [PATCH] Support newer PHP versions

PHP 5 is close to its support end.
Since the script runs just fine with e.g. PHP 7 as well,
just stop explicitly using "php5" to allow using newer
PHP versions.
---
 SongFormat.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/SongFormat.php b/SongFormat.php
index 5d0e54d..11f10a4 100755
--- a/SongFormat.php
+++ b/SongFormat.php
@@ -1,4 +1,4 @@
-#!/usr/bin/env php5
+#!/usr/bin/env php
 <?php
 
 //// Configuration