From 71bc04bd410e58cf66c1fe35659ed7d5f74b1613 Mon Sep 17 00:00:00 2001
From: Git <git@what.cd>
Date: Thu, 19 Dec 2013 08:01:05 +0000
Subject: [PATCH] Empty commit

---
 sections/tools/index.php | 1 +
 sections/tools/tools.php | 1 +
 2 files changed, 2 insertions(+)

diff --git a/sections/tools/index.php b/sections/tools/index.php
index f956a72c..d7f599b4 100644
--- a/sections/tools/index.php
+++ b/sections/tools/index.php
@@ -497,6 +497,7 @@
 		include(SERVER_ROOT.'/sections/tools/managers/take_mass_pm.php');
 		break;
 	
+
 	default:
 		include(SERVER_ROOT.'/sections/tools/tools.php');
 }
diff --git a/sections/tools/tools.php b/sections/tools/tools.php
index ec99487c..f06c2a7a 100644
--- a/sections/tools/tools.php
+++ b/sections/tools/tools.php
@@ -65,6 +65,7 @@ function create_row($Title, $URL, $HasPermission = false, $Tooltip = false) {
 	create_row("Mass PM", "tools.php?action=mass_pm", check_perms("users_mod"));
 	create_row("News post", "tools.php?action=news", check_perms("admin_manage_news"));
 	create_row("Vanity House additions", "tools.php?action=recommend", check_perms("site_recommend_own") || check_perms("site_manage_recommendations"));
+	
 
 	if ($ToolsHTML) {
 ?>