From 2237c910674b77d1f602c11ed093b8fff138523c Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Sun, 17 Jun 2012 16:34:37 +0100
Subject: [PATCH] Version number, Zip It! plugin & tabWidth

Version number now v 0.7.3
Zip It! is new plugin instead of backupOpenFiles
tabWidth now set to 4 chars by default
---
 lib/config.php | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/lib/config.php b/lib/config.php
index b5fb503..19aaf36 100644
--- a/lib/config.php
+++ b/lib/config.php
@@ -1,5 +1,5 @@
 <?php
-$versionNo		= "v 0.7.2";
+$versionNo		= "v 0.7.3";
 $codeMirrorDir		= "CodeMirror-2.25";
 $cMThisVer		= 2.25;
 $tabsIndent		= true;
@@ -16,9 +16,10 @@ $allowedIPs		= array("*");
 $plugins		= array(
 			array("Database Admin","images/database.png","margin-top: 3px","plugins/adminer/adminer-3.3.3-mysql-en.php","_blank",""),
 			array("Batch Image Processor","images/images.png","margin-top: 5px","http://birme.net","_blank",""),
-			array("Backup","images/backup-open-files.png","margin-top: 3px","plugins/backupOpenFiles/index.php","fileControl:<b>Zipping Open Files</b>","10")
+			array("Zip It!","images/zip-it.png","margin-top: 3px","plugins/zip-it/index.php?zip=|","fileControl:<b>Zipping Open Files</b>","10")
 			);
 $theme			= "default";
+$tabWidth		= 4;
 $previousFiles		= "";
 $last10Files		= "";
 ?>
\ No newline at end of file