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

Solved in r111863 https://www.mediawiki.org/wiki/Special:Code/MediaWiki/111863