- socket = "/var/run/phpfpm/adminer.sock";
- pool = ''
- listen = ${socket}
- user = ${apache.user}
- group = ${apache.group}
- listen.owner = ${apache.user}
- listen.group = ${apache.group}
- pm = ondemand
- pm.max_children = 5
- pm.process_idle_timeout = 60
- ;php_admin_flag[log_errors] = on
- ; Needed to avoid clashes in browser cookies (same domain)
- php_value[session.name] = AdminerPHPSESSID
- php_admin_value[open_basedir] = "${webRoot}:/tmp:/var/lib/php/sessions/adminer:/var/lib/php/tmp/adminer"
- php_admin_value[session.save_path] = "/var/lib/php/sessions/adminer"
- php_admin_value[upload_tmp_dir] = "/var/lib/php/tmp/adminer"
- '';
+ user = apache.user;
+ group = apache.group;
+ phpPackage = (php73.override {
+ config.php.mysqlnd = true;
+ config.php.mysqli = false;
+ config.php.pdo-mysql = false;
+ }).overrideAttrs(old: rec {
+ configureFlags = old.configureFlags ++ [
+ "--with-mysqli=shared,mysqlnd"
+ ];
+ });
+ phpOptions = ''
+ extension=${phpPackage}/lib/php/extensions/mysqli.so
+ '';
+ settings = {
+ "listen.owner" = apache.user;
+ "listen.group" = apache.group;
+ "pm" = "ondemand";
+ "pm.max_children" = "5";
+ "pm.process_idle_timeout" = "60";
+ #"php_admin_flag[log_errors]" = "on";
+ # Needed to avoid clashes in browser cookies (same domain)
+ "php_value[session.name]" = "AdminerPHPSESSID";
+ "php_admin_value[open_basedir]" = "${webRoot}:/tmp:/var/lib/php/sessions/adminer:/var/lib/php/tmp/adminer";
+ "php_admin_value[session.save_path]" = "/var/lib/php/sessions/adminer";
+ "php_admin_value[upload_tmp_dir]" = "/var/lib/php/tmp/adminer";
+ };