Umherirrender has uploaded a new change for review. Change subject: RecentChangesLinked: 'tagfilter' option already set in parent ......................................................................
RecentChangesLinked: 'tagfilter' option already set in parent Inside SpecialRecentChanges::getDefaultOptions() the 'tagfilter' option is already set, so there is no need to do it a second time. Change-Id: If89cf65a19676a4c6efa82883544b74e08961c62 --- M includes/specials/SpecialRecentchangeslinked.php 1 file changed, 0 insertions(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/12/28912/1 -- To view, visit https://gerrit.wikimedia.org/r/28912 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: If89cf65a19676a4c6efa82883544b74e08961c62 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Umherirrender <umherirrender_de...@web.de> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits