anchor.diff:  
           $wgSitename = "${config.siteName}";
   
  +        ${optionalString (config.logo != "") ''
  +          $wgLogo = "${config.logo}";
  +        ''}
  +
  +        ${optionalString (config.articleUrlPrefix != "") ''
  +          $wgArticlePath = "${config.articleUrlPrefix}/$1";
  +        ''}
  +
           ${config.extraConfig}
         ?>
       '';
  
positive.code:           ) | ${pkgs.postgresql}/bin/psql -U "${config.dbUser}" "${config.dbName}"
        fi
      '');
      
  }
  
negative.code:           Allow from all
            DirectoryIndex index.php
        </Directory>
  
        ${optionalString (config.articleUrlPrefix != "") ''
          Alias ${config.articleUrlPrefix} ${mediawikiRoot}/index.php
        ''}
      '';
  
    options = {
  