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

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