anchor.diff:            inherit lib;
           }));
           default = {};
  +        example = literalExample ''
  +         {
  +           mypool = {
  +             listen = "/path/to/unix/socket";
  +             extraConfig = '''
  +               user = nobody
  +               pm = dynamic
  +               pm.max_children = 75
  +               pm.start_servers = 10
  +               pm.min_spare_servers = 5
  +               pm.max_spare_servers = 20
  +               pm.max_requests = 500
  +             ''';
  +           }
  +         }'';
           description = ''
  -          If no pools are defined, the phpfpm service is disabled.
  +          PHP-FPM pools. If no pools or poolConfigs are defined, the PHP-FPM
  +          service is disabled.
           '';
         };
       };
  
positive.code:           }
          '';
          description = ''
            A mapping between PHP FPM pool names and their configurations.
            See the documentation on <literal>php-fpm.conf</literal> for
            details on configuration directives. If no pools are defined,
            the phpfpm service is disabled.
  
negative.code:         default = pkgs.php;
          defaultText = "pkgs.php";
          description = ''
            The PHP package to use for running the PHP-FPM service.
          '';
        };
  
  