anchor.diff:            ) | ${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
  +    '';
  +
   }
  
positive.code: 
          $wgSitename = "${config.siteName}";
  
          ${config.extraConfig}
        ?>
      '';
  
negative.code:           Allow from all
            DirectoryIndex index.php
        </Directory>
  
        ${optionalString (config.articleUrlPrefix != "") ''
          Alias ${config.articleUrlPrefix} ${mediawikiRoot}/index.php
        ''}
      '';
  
    options = {
  