Puppet Class: mediawiki::extension::wikidiff2

Defined in:
puppet/modules/mediawiki/manifests/extension/wikidiff2.pp

Overview

Class mediawiki::extension::wikidiff2



3
4
5
6
7
8
9
# File 'puppet/modules/mediawiki/manifests/extension/wikidiff2.pp', line 3

class mediawiki::extension::wikidiff2 {
    apt::pin { 'wikidiff2':
        package  => 'php-wikidiff2',
        pin      => 'release a=stretch-backports',
        priority => 1001,
    }
}