···

       
83
       
 
       


     

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

     

       
85
       
 
       
  mediawikiRoot = pkgs.stdenv.mkDerivation rec {

     

       
86
       
-
       
    name= "mediawiki-1.23.9";

     

       
87
       
 
       


     

       
88
       
 
       
    src = pkgs.fetchurl {

     

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

     

       
90
       
-
       
      sha256 = "1l7k4g0pgz92yvrfr52w26x740s4362v0gc95pk0i30vn2sp5bql";

     

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

     

       
87
       
 
       


     

       
88
       
 
       
    src = pkgs.fetchurl {

     

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

     

       
90
       
+
       
      sha256 = "168wpf53n4ksj2g5q5r0hxapx6238dvsfng5ff9ixk6axsn0j5d0";

     

       
91
       
 
       
    };

     

       
92
       
 
       


     

       
93
       
 
       
    skins = config.skins;