From: Rob Church <robchurch@users.mediawiki.org>
Date: Fri, 13 Jul 2007 09:35:12 +0000 (+0000)
Subject: (bug 10558) Remove duplicate titles in WatchlistEditor::extractTitles()
X-Git-Tag: 1.31.0-rc.0~52106
X-Git-Url: https://git.cyclocoop.org/%28%28?a=commitdiff_plain;h=7a19e045e25ad1836a210d011e79ae54a0c758f1;p=lhc%2Fweb%2Fwiklou.git

(bug 10558) Remove duplicate titles in WatchlistEditor::extractTitles()
---

diff --git a/includes/WatchlistEditor.php b/includes/WatchlistEditor.php
index f0662b3637..3bdca72e63 100644
--- a/includes/WatchlistEditor.php
+++ b/includes/WatchlistEditor.php
@@ -118,7 +118,7 @@ class WatchlistEditor {
 					$titles[] = $title->getPrefixedText();
 			}
 		}
-		return $titles;
+		return array_unique( $titles );
 	}
 	
 	/**