anchor.diff:      };
   
     cfg = {
  +    ldapSupport = config.php.ldap or true;
       mysqlSupport = config.php.mysql or true;
       mysqliSupport = config.php.mysqli or true;
       pdo_mysqlSupport = config.php.pdo_mysql or true;
  
positive.code:       };
  
        # Extensions
  
        curl = {
          configureFlags = ["--with-curl=${curl}" "--with-curlwrappers"];
  
negative.code:   '';
  
    src = fetchurl {
      urls = [
        "http://nl.php.net/get/php-${version}.tar.bz2/from/this/mirror"
        "http://se1.php.net/get/php-${version}.tar.bz2/from/this/mirror"
      ];
      sha256 = "0dh159svdrakvm9nsyg3yyln7cqqzpxgs2163cqxplnc93d8a8id";
      name = "php-${version}.tar.bz2";
    };
  