ae4602 Merge branch 'cboltz-wiki-de' into 'production'

Merged and Committed by Christian Boltz 2 years ago
    Merge branch 'cboltz-wiki-de' into 'production'
    
    switch de.o.o to MediaWiki 1.37
    
    See merge request infra/salt!547
        
file modified
+1 -2