refactor: add .php extension to .phpenv

.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.

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);
 ?>