Begin upgrade to much better bans table. DO NOT PULL YET; It won't work.

inc/mod/config-editor.php

@@ -1,5 +1,11 @@
 <?php
 
+/*
+ *  Copyright (c) 2010-2013 Tinyboard Development Group
+ */
+
+defined('TINYBOARD') or exit;
+
 function permission_to_edit_config_var($varname) {
 	global $config, $mod;