From 538f9c5a53895b1b7531cec0f5c9ae9ec0c7a579 Mon Sep 17 00:00:00 2001
From: gravel <gravel@noreply.codeberg.org>
Date: Fri, 19 Jan 2024 14:47:52 +0000
Subject: [PATCH] refactor: add .php extension to .phpenv

---
 .phpenv => .phpenv.php |  6 ++++++
 php/getenv.php         | 12 +++++++-----
 2 files changed, 13 insertions(+), 5 deletions(-)
 rename .phpenv => .phpenv.php (96%)

diff --git a/.phpenv b/.phpenv.php
similarity index 96%
rename from .phpenv
rename to .phpenv.php
index 1e95857..c51cf6f 100644
--- a/.phpenv
+++ b/.phpenv.php
@@ -34,6 +34,12 @@
 	 */
 	$ROOMS_FILE="$DOCUMENT_ROOT/servers.json";
 
+	/**
+	 * @var string $TAGS_FILE
+	 * Path to file containing tag text-description pairs.
+	 */
+	$TAGS_FILE="$DOCUMENT_ROOT/tags.json";
+
 	/**
 	 * @var string $TEMPLATES_ROOT
 	 * Root directory containing sites in PHP.
diff --git a/php/getenv.php b/php/getenv.php
index 04dbc43..3257f93 100644
--- a/php/getenv.php
+++ b/php/getenv.php
@@ -1,7 +1,7 @@
 <?php
 	/**
 	 * \file
-	 * Source the project's `.phpenv` file.
+	 * Source the project's `.phpenv.php` file.
 	 */
 
 	/**
@@ -10,24 +10,26 @@
 	 */
 	$PROJECT_ROOT = dirname(__FILE__);
 
+	$PHPENV_FILENAME = ".phpenv.php";
+
 	(function(){
-		global $PROJECT_ROOT;
+		global $PROJECT_ROOT, $PHPENV_FILENAME;
 
 		$root_previous = "";
 
-		while (!file_exists("$PROJECT_ROOT/.phpenv")) {
+		while (!file_exists("$PROJECT_ROOT/$PHPENV_FILENAME")) {
 			if (
 				$PROJECT_ROOT == "/" ||
 				$PROJECT_ROOT == "" ||
 				$PROJECT_ROOT == $root_previous
 			)
-				throw new RuntimeException("Could not find .phpenv file.");
+				throw new RuntimeException("Could not find $PHPENV_FILENAME file.");
 			$root_previous = $PROJECT_ROOT;
 			$PROJECT_ROOT = dirname($PROJECT_ROOT);
 		}
 	})();
 
-	require_once "$PROJECT_ROOT/.phpenv";
+	require_once "$PROJECT_ROOT/$PHPENV_FILENAME";
 
 	// set_include_path(get_include_path() . PATH_SEPARATOR . $PROJECT_ROOT);
 ?>