From 463c259c14c4a14ded29866e41c992de511e80e4 Mon Sep 17 00:00:00 2001
From: Jeff Teunissen <deek@d2dc.net>
Date: Wed, 26 Apr 2000 00:26:03 +0000
Subject: [PATCH] Updated PHP lib with date information...

---
 lib/date.php      | 38 ++++++++++++++++++++++++++++++++++++++
 parts/library.php |  5 +++--
 2 files changed, 41 insertions(+), 2 deletions(-)
 create mode 100644 lib/date.php

diff --git a/lib/date.php b/lib/date.php
new file mode 100644
index 0000000..af6f9b9
--- /dev/null
+++ b/lib/date.php
@@ -0,0 +1,38 @@
+<?php
+	/*
+		date.php
+		
+		Date data and functions
+
+		Copyright (C) 2000 Contributors of the QuakeForge Project
+		Please see the file "AUTHORS" for a list of contributors
+
+		This program is free software; you can redistribute it and/or
+		modify it under the terms of the GNU General Public License
+		as published by the Free Software Foundation; either version 2
+		of the License, or (at your option) any later version.
+
+		This program is distributed in the hope that it will be useful,
+		but WITHOUT ANY WARRANTY; without even the implied warranty of
+		MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  
+
+		See the GNU General Public License for more details.
+
+		You should have received a copy of the GNU General Public License
+		along with this program; if not, write to:
+
+		Free Software Foundation, Inc.
+		59 Temple Place - Suite 330
+		Boston, MA  02111-1307, USA.
+	*/
+
+	$shortMonths = array(	1=>'Jan', 2=>'Feb', 3=>'Mar', 4=>'Apr',
+							5=>'May', 6=>'Jun', 7=>'Jul', 8=>'Aug',
+							9=>'Sep', 10=>'Oct', 11=>'Nov', 12=>'Dec');
+							
+	function fileParseDate($date) {
+		global $shortMonths;
+		
+		return substr($date, 3) . ' ' . $shortMonths[substr($date, 1, 2)];
+	}
+?>
diff --git a/parts/library.php b/parts/library.php
index 4b4e4c1..30d27ae 100644
--- a/parts/library.php
+++ b/parts/library.php
@@ -1,13 +1,14 @@
 <?php
-													/* Helpful constants 						*/
+										// helpful constants
 	$tableHeadColor	= '#737b9c';
 	$menuHeadColor 	= '#737b9c';
-	$menuBgColor		= '#4b4f66';
+	$menuBgColor	= '#4b4f66';
 
 	if ( !$newstyle ) {
 		require( "lib/table.php" );
 		require( "lib/array.php" );
 		require( "lib/graph.php" );
 		require( "lib/network.php" );
+		require( "lib/date.php" );
 	}
 ?>