set -e

sudo echo 'wfLoadExtension( "CodeMirror" );' >> /etc/mediawiki/LocalSettings.php
