From 14ff0fbeb3fd93e94a804d647971b8a9551c327f Mon Sep 17 00:00:00 2001
From: Michael Foster <savetheinternet@tinyboard.org>
Date: Fri, 6 Sep 2013 20:12:34 +1000
Subject: [PATCH] inc/mod.php has been irrelevant for a while. Time to remove
 it.

---
 inc/mod.php | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 inc/mod.php

diff --git a/inc/mod.php b/inc/mod.php
deleted file mode 100644
index 7b82c5d4..00000000
--- a/inc/mod.php
+++ /dev/null
@@ -1,15 +0,0 @@
-<?php
-
-/*
- *  Copyright (c) 2010-2013 Tinyboard Development Group
- */
-
-// WARNING: Including this file is DEPRECIATED. It's only here to support older versions and won't exist forever.
-
-if (realpath($_SERVER['SCRIPT_FILENAME']) == str_replace('\\', '/', __FILE__)) {
-	// You cannot request this file directly.
-	exit;
-}
-
-require 'inc/mod/auth.php';
-