anchor.diff:        description = "Name of the wiki";
       };
   
  +    logo = mkOption {
  +      default = "";
  +      example = "/images/logo.png";
  +      description = "The URL of the site's logo (which should be a 135x135px image).";
  +    };
  +
       urlPrefix = mkOption {
  -      example = "/wiki";
  +      default = "/w";
  +      description = ''
  +        The URL prefix under which the Mediawiki service appears.
  +      '';
  +    };
  +
  +    articleUrlPrefix = mkOption {
         default = "/wiki";
  -      description = ''
  -        The URL prefix under which the Mediawiki service appears.
  +      example = "";
  +      description = ''
  +        The URL prefix under which article pages appear,
  +        e.g. http://server/wiki/Page.  Leave empty to use the main URL
  +        prefix, e.g. http://server/w/index.php?title=Page.
         '';
       };
   
  
positive.code:           ) | ${pkgs.postgresql}/bin/psql -U "${config.dbUser}" "${config.dbName}"
        fi
      '');
      
  }
  
negative.code: 
          $wgSitename = "${config.siteName}";
  
          ${optionalString (config.logo != "") ''
            $wgLogo = "${config.logo}";
          ''}
  
          ${optionalString (config.articleUrlPrefix != "") ''
            $wgArticlePath = "${config.articleUrlPrefix}/$1";
          ''}
  
          ${config.extraConfig}
        ?>
      '';
  