Translations:MediaWiki 1.31/3/de

Es wurde auf Wikimedia-Foundation-Wikis durch inkrementelle "wmf"-Zweige ab dem 26. September 2017 eingesetzt.