From 1c349af44594d8cb7e42bebc8c4e15110e26597b Mon Sep 17 00:00:00 2001
From: flashwave <me@flash.moe>
Date: Sat, 3 Aug 2024 22:10:04 +0000
Subject: [PATCH] Removed precommit.bat and made scripts extensionless.

---
 VERSION                                      | 2 +-
 tools/precommit.bat                          | 9 ---------
 tools/precommit.sh                           | 4 ++--
 tools/{update-headers.php => update-headers} | 1 +
 tools/{update-version.php => update-version} | 1 +
 5 files changed, 5 insertions(+), 12 deletions(-)
 delete mode 100644 tools/precommit.bat
 rename tools/{update-headers.php => update-headers} (99%)
 mode change 100644 => 100755
 rename tools/{update-version.php => update-version} (93%)
 mode change 100644 => 100755

diff --git a/VERSION b/VERSION
index df3de91..8eb34f2 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.2408.32202
+0.2408.32209
diff --git a/tools/precommit.bat b/tools/precommit.bat
deleted file mode 100644
index f1c0693..0000000
--- a/tools/precommit.bat
+++ /dev/null
@@ -1,9 +0,0 @@
-@echo off
-
-pushd .
-cd %~dp0
-
-php update-headers.php
-php update-version.php
-
-popd
diff --git a/tools/precommit.sh b/tools/precommit.sh
index 7ddce17..13827aa 100755
--- a/tools/precommit.sh
+++ b/tools/precommit.sh
@@ -3,7 +3,7 @@
 pushd .
 cd $(dirname "$0")
 
-php update-headers.php
-php update-version.php
+./update-headers
+./update-version
 
 popd
diff --git a/tools/update-headers.php b/tools/update-headers
old mode 100644
new mode 100755
similarity index 99%
rename from tools/update-headers.php
rename to tools/update-headers
index cfceded..a62903f
--- a/tools/update-headers.php
+++ b/tools/update-headers
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 // this file sucks, screws up the header if incomplete
 // successfully corrects filenames though
diff --git a/tools/update-version.php b/tools/update-version
old mode 100644
new mode 100755
similarity index 93%
rename from tools/update-version.php
rename to tools/update-version
index ec5a913..b4bc2eb
--- a/tools/update-version.php
+++ b/tools/update-version
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 // Updates the VERSION file (prerelease stage only, remove this when 1.0.0)