From 7a19e045e25ad1836a210d011e79ae54a0c758f1 Mon Sep 17 00:00:00 2001 From: Rob Church Date: Fri, 13 Jul 2007 09:35:12 +0000 Subject: [PATCH] (bug 10558) Remove duplicate titles in WatchlistEditor::extractTitles() --- includes/WatchlistEditor.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 ); } /** -- 2.20.1