···

       
5
       
5
       
 
       


     

       
6
       
6
       
 
       
let

     

       
7
       
7
       
 
       


     

       
8
       
8
       
-
       
  version = "4.3";

     

       
8
       
8
       
+
       
  version = "4.3.1";

     

       
9
       
9
       
 
       
  fullversion = "${version}";

     

       
10
       
10
       
 
       


     

       
11
       
11
       
 
       
  # Our bare-bones wp-config.php file using the above settings

     
···

       
74
       
74
       
 
       
      owner = "WordPress";

     

       
75
       
75
       
 
       
      repo = "WordPress";

     

       
76
       
76
       
 
       
      rev = "${fullversion}";

     

       
77
       
77
       
-
       
      sha256 = "0sz5jjhjpwqis8336gyq9a77cr4sf8zahd1y4pzmpvpzn9cn503y";

     

       
77
       
77
       
+
       
      sha256 = "1rk10vcv4z9p04hfzc0wkbilrgx7m9ssyr6c3w6vw3vl1bcgqxza";

     

       
78
       
78
       
 
       
    };

     

       
79
       
79
       
 
       
    installPhase = ''

     

       
80
       
80
       
 
       
      mkdir -p $out