Thread:Extension talk:CollaborativeWatchlist/mediawiki core.patch?