···

       
83
       
 
       


     

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

     

       
85
       
 
       
  mediawikiRoot = pkgs.stdenv.mkDerivation rec {

     

       
86
       
-
       
    name= "mediawiki-1.27.1";

     

       
87
       
 
       


     

       
88
       
 
       
    src = pkgs.fetchurl {

     

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

     

       
90
       
-
       
      sha256 = "0sm3ymz93qragbwhzzbwq7f127mbj29inv0afg2z6p32jb1pd9h8";

     

       
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.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;