]> git.openstreetmap.org Git - chef.git/commit
mediawiki: Disable Patrol edits
authorGrant Slater <github@firefishy.com>
Wed, 2 Sep 2026 10:10:10 +0000 (11:10 +0100)
committerGrant Slater <github@firefishy.com>
Wed, 2 Sep 2026 10:10:19 +0000 (11:10 +0100)
commitb212fabf2ae8cf421901d4a9969ce92cb6f6525d
tree1e054205e6809ded3548378c109504a593c3eb1f
parent5aa01b54468a2a4306ff930d04bf684c5f4e7f1f
mediawiki: Disable Patrol edits

Closes: https://github.com/openstreetmap/operations/issues/1357
cookbooks/mediawiki/templates/default/LocalSettings.php.erb