From 61754b8dfec10ee511649c85a8c692c64cad1c58 Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Sun, 10 Jun 2012 01:05:03 +0100
Subject: [PATCH] add a type arg, even if it's not used yet

---
 core/util.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/util.inc.php b/core/util.inc.php
index 7168d610..c420c380 100644
--- a/core/util.inc.php
+++ b/core/util.inc.php
@@ -690,7 +690,7 @@ function set_prefixed_cookie($name, $value, $time, $path) {
 /**
  * Set (or extend) a flash-message cookie
  */
-function flash_message(/*string*/ $text) {
+function flash_message(/*string*/ $text, /*string*/ $type="info") {
 	$current = get_prefixed_cookie("flash_message");
 	if($current) {
 		$text = $current . "\n" . $text;