Thread:Extension talk:WikiArticleFeeds/PupDate is not set in german Wikis