anchor.diff:        sha256 = "1d8afbdh3lsg54b69mnh6a47psb3lg978xpp277qs08yz15cjf7q";
       };
   
  -    buildPhase = "true";
  +    skinTarball = if config.defaultSkin == "clean" then src_clean_skin
  +             else if config.defaultSkin == "nixos" then src_nixos_skin
  +             else "";
  +
  +    buildPhase = "
  +      if [ '${skinTarball}' ]; then
  +         tar xfz ${skinTarball} -C skins/;
  +      fi
  +    ";
   
       installPhase =
         ''
  
positive.code: with pkgs.lib;
  
  let
  
    mediawikiConfig = pkgs.writeText "LocalSettings.php"
      ''
  
negative.code:           $wgUploadDirectory = "${config.uploadDir}";
          ''}
  
          ${optionalString (config.defaultSkin != "") ''
            $wgDefaultSkin = "${config.defaultSkin}";
          ''}
  
          ${config.extraConfig}
        ?>
      '';
  