From 5f7d5903848e16b7fd68ee1d82e9345883f5d2c8 Mon Sep 17 00:00:00 2001
From: Gabriel Wicke <gwicke@users.mediawiki.org>
Date: Wed, 14 Jul 2004 10:58:10 +0000
Subject: [PATCH] colours

---
 irc/rcdumper.php | 13 ++++---------
 1 file changed, 4 insertions(+), 9 deletions(-)

diff --git a/irc/rcdumper.php b/irc/rcdumper.php
index 76ff91db8a..41052bc533 100644
--- a/irc/rcdumper.php
+++ b/irc/rcdumper.php
@@ -15,8 +15,6 @@ $ircServer = "irc.freenode.net";
 
 ini_set( "display_errors", 1 );
 $wgCommandLineMode = true;
-$fmB = chr(2);
-$fmU = chr(31);
 
 require_once("../maintenance/commandLine.inc" );
 
@@ -71,13 +69,10 @@ while (1) {
 			$url = $URLFirstPart . urlencode($title) .
 				"&diff=0&oldid=$lastid";
 		}
-		$boldTitle = $fmB . str_replace("_", " ", $title) . $fmB;
-
-		if ( $comment !== "" ) {
-			$comment = "($comment)";
-		}
-		
-		$fullString = "$boldTitle   $flag   $url   $user $comment\n"; 
+		$title = str_replace("_", " ", $title);
+                # see http://www.irssi.org/?page=docs&doc=formats for some colour codes. prefix is \003, 
+		# no colour (\003) switches back to the term default
+		$fullString = "\0033$title \0037$flag \00310$url \0037*\003 $user \0037*\003 $comment\n";
 
 		if ( $fullString{0} == "/" ) {
 			$fullString = " $fullString";
-- 
2.20.1