···

       
83
       
 
       


     

       
84
       
 
       
  # Unpack Mediawiki and put the config file in its root directory.

     

       
85
       
 
       
  mediawikiRoot = pkgs.stdenv.mkDerivation rec {

     

       
86
       
-
       
    name= "mediawiki-1.27.3";

     

       
87
       
 
       


     

       
88
       
 
       
    src = pkgs.fetchurl {

     

       
89
       
-
       
      url = "http://download.wikimedia.org/mediawiki/1.27/${name}.tar.gz";

     

       
90
       
-
       
      sha256 = "08x8mvc0y1gwq8rg0zm98wc6hc5j8imb6dcpx6s7392j5dc71m0i";

     

       
91
       
 
       
    };

     

       
92
       
 
       


     

       
93
       
 
       
    skins = config.skins;

     

···

       
83
       
 
       


     

       
84
       
 
       
  # Unpack Mediawiki and put the config file in its root directory.

     

       
85
       
 
       
  mediawikiRoot = pkgs.stdenv.mkDerivation rec {

     

       
86
       
+
       
    name= "mediawiki-1.29.1";

     

       
87
       
 
       


     

       
88
       
 
       
    src = pkgs.fetchurl {

     

       
89
       
+
       
      url = "http://download.wikimedia.org/mediawiki/1.29/${name}.tar.gz";

     

       
90
       
+
       
      sha256 = "03mpazbxvb011s2nmlw5p6dc43yjgl5yrsilmj1imyykm57bwb3m";

     

       
91
       
 
       
    };

     

       
92
       
 
       


     

       
93
       
 
       
    skins = config.skins;