From 20cda60abe1606761d43d95d19337d5ba048d664 Mon Sep 17 00:00:00 2001
From: Gabriel Wicke <gwicke@users.mediawiki.org>
Date: Mon, 12 Apr 2004 18:53:30 +0000
Subject: [PATCH] warning fixed

---
 includes/Tokenizer.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/Tokenizer.php b/includes/Tokenizer.php
index 3a29306b65..eb9823718f 100644
--- a/includes/Tokenizer.php
+++ b/includes/Tokenizer.php
@@ -134,7 +134,7 @@ class Tokenizer {
 							$queueToken["text"] = "";
 							$this->mQueuedToken[] = $queueToken;
 							$this->mPos += 5;
-							while ($this->mText[$this->mPos] == "-" ) {
+							while (isset($this->mText[$this->mPos]) and $this->mText[$this->mPos] == "-" ) {
 								$this->mPos ++;
 							}
 							break 2;
-- 
2.20.1