(bug 10558) Remove duplicate titles in WatchlistEditor::extractTitles()
commit7a19e045e25ad1836a210d011e79ae54a0c758f1
authorRob Church <robchurch@users.mediawiki.org>
Fri, 13 Jul 2007 09:35:12 +0000 (13 09:35 +0000)
committerRob Church <robchurch@users.mediawiki.org>
Fri, 13 Jul 2007 09:35:12 +0000 (13 09:35 +0000)
tree5d34b24acde32fb5db12ae7263e08e8289ea1b7c
parent4f9d31f611d2c0f054787a8f4a3a1da5691fe642
(bug 10558) Remove duplicate titles in WatchlistEditor::extractTitles()
includes/WatchlistEditor.php