anchor.diff:  
           $wgSitename = "${config.siteName}";
   
  +        ${optionalString (config.logo != "") ''
  +          $wgLogo = "${config.logo}";
  +        ''}
  +
  +        ${optionalString (config.articleUrlPrefix != "") ''
  +          $wgArticlePath = "${config.articleUrlPrefix}/$1";
  +        ''}
  +
           ${config.extraConfig}
         ?>
       '';
  
positive.code:       description = "Name of the wiki";
      };
  
      urlPrefix = mkOption {
        example = "/wiki";
        default = "/wiki";
        description = ''
          The URL prefix under which the Mediawiki service appears.
        '';
      };
  
  
negative.code:           ) | ${pkgs.postgresql}/bin/psql -U "${config.dbUser}" "${config.dbName}"
        fi
      '');
  
    robotsEntries = optionalString (config.articleUrlPrefix != "")
      ''
        User-agent: *
        Disallow: ${config.urlPrefix}/
        Disallow: ${config.articleUrlPrefix}/Special:Search
        Disallow: ${config.articleUrlPrefix}/Special:Random
      '';
  
  }
  