index/tools/precommit.sh

#!/bin/bash

pushd .
cd $(dirname "$0")

php update-headers.php
php update-version.php

popd
Fixed bitrot issues related to PHP updates. 2023-01-01 18:47:24 +00:00			`#!/bin/bash`
Imported into new repository. 2022-09-13 15:13:11 +02:00
			`pushd .`
			`cd $(dirname "$0")`

			`php update-headers.php`
			`php update-version.php`

			`popd`