From 4e8779053d9dec63d1151bb5eeda09088340b82a Mon Sep 17 00:00:00 2001
From: Kano <root@mutsumi.paige>
Date: Thu, 14 Jun 2012 20:36:54 +1000
Subject: [PATCH] miner.php allow a separate user settings file

---
 miner.php | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/miner.php b/miner.php
index 8b389761..728a4ebc 100644
--- a/miner.php
+++ b/miner.php
@@ -60,6 +60,14 @@ $warnfont = '<font color=red><b>';
 $warnoff = '</b></font>';
 $dfmt = 'H:i:s j-M-Y \U\T\CP';
 #
+# This below allows you to put your own settings into a seperate file
+# so you don't need to update miner.php with your preferred settings
+# every time a new version is released
+# Just create the file 'myminer.php' in the same directory as
+# 'miner.php' - and put your own settings in there
+if (file_exists('myminer.php'))
+ include_once('myminer.php');
+#
 # Ensure it is only ever shown once
 global $showndate;
 $showndate = false;