From c6584399fea18914eac2794b403434a761160308 Mon Sep 17 00:00:00 2001
From: Jordan Brown <Cyberboss@users.noreply.github.com>
Date: Tue, 14 Nov 2017 16:36:38 -0500
Subject: [PATCH 1/2] Adds some server tools info to getrev (#32692)

---
 code/datums/helper_datums/getrev.dm | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/code/datums/helper_datums/getrev.dm b/code/datums/helper_datums/getrev.dm
index 7b60070fc7..df22be910a 100644
--- a/code/datums/helper_datums/getrev.dm
+++ b/code/datums/helper_datums/getrev.dm
@@ -55,6 +55,9 @@
 		to_chat(src, "[prefix]<a href=\"[CONFIG_GET(string/githuburl)]/commit/[pc]\">[copytext(pc, 1, min(length(pc), 7))]</a>")
 	else
 		to_chat(src, "Revision unknown")
+	if(SERVER_TOOLS_PRESENT)
+		to_chat(src, "Server tools version: [SERVER_TOOLS_VERSION]")
+		to_chat(src, "Server tools API version: [SERVER_TOOLS_API_VERSION]")
 	to_chat(src, "<b>Current Informational Settings:</b>")
 	to_chat(src, "Protect Authority Roles From Traitor: [CONFIG_GET(flag/protect_roles_from_antagonist)]")
 	to_chat(src, "Protect Assistant Role From Traitor: [CONFIG_GET(flag/protect_assistant_from_antagonist)]")