From 2e9f5e48c45444bf8243c7d4851afd1aa29caaf1 Mon Sep 17 00:00:00 2001 From: cytopia Date: Fri, 2 Nov 2018 22:55:15 +0100 Subject: [PATCH 1/3] Adding PHP-FPM 7.4 --- .devilbox/www/config.php | 2 +- .gitignore | 3 + .travis.yml | 4 + README.md | 15 ++++ cfg/php-fpm-7.4/.keepme | 0 cfg/php-fpm-7.4/README.md | 54 +++++++++++++ cfg/php-fpm-7.4/devilbox-fpm.conf-default | 80 +++++++++++++++++++ cfg/php-fpm-7.4/devilbox-fpm.conf-pm_dynamic | 46 +++++++++++ cfg/php-fpm-7.4/devilbox-fpm.conf-pm_ondemand | 39 +++++++++ cfg/php-ini-7.4/.keepme | 0 cfg/php-ini-7.4/README.md | 26 ++++++ cfg/php-ini-7.4/devilbox-php.ini-default | 63 +++++++++++++++ cfg/php-ini-7.4/devilbox-php.ini-xdebug | 36 +++++++++ docker-compose.yml | 2 +- docs/configuration-files/env-file.rst | 11 +-- docs/configuration-files/php-fpm-conf.rst | 1 + docs/configuration-files/php-ini.rst | 1 + .../change-container-versions.rst | 3 + env-example | 1 + 19 files changed, 380 insertions(+), 7 deletions(-) create mode 100644 cfg/php-fpm-7.4/.keepme create mode 100644 cfg/php-fpm-7.4/README.md create mode 100644 cfg/php-fpm-7.4/devilbox-fpm.conf-default create mode 100644 cfg/php-fpm-7.4/devilbox-fpm.conf-pm_dynamic create mode 100644 cfg/php-fpm-7.4/devilbox-fpm.conf-pm_ondemand create mode 100644 cfg/php-ini-7.4/.keepme create mode 100644 cfg/php-ini-7.4/README.md create mode 100644 cfg/php-ini-7.4/devilbox-php.ini-default create mode 100644 cfg/php-ini-7.4/devilbox-php.ini-xdebug diff --git a/.devilbox/www/config.php b/.devilbox/www/config.php index c77e8e59..441e0456 100644 --- a/.devilbox/www/config.php +++ b/.devilbox/www/config.php @@ -14,7 +14,7 @@ putenv('RES_OPTIONS=retrans:1 retry:1 timeout:1 attempts:1'); $DEVILBOX_VERSION = 'v0.15'; -$DEVILBOX_DATE = '2018-11-02'; +$DEVILBOX_DATE = '2018-11-03'; $DEVILBOX_API_PAGE = 'devilbox-api/status.json'; // diff --git a/.gitignore b/.gitignore index 4f14dbf2..ae8a0c60 100644 --- a/.gitignore +++ b/.gitignore @@ -67,6 +67,7 @@ /cfg/php-ini-7.1/*.ini /cfg/php-ini-7.2/*.ini /cfg/php-ini-7.3/*.ini +/cfg/php-ini-7.4/*.ini # Ignore custom PHP-FPM configs /cfg/php-fpm-5.2/php-fpm.xml @@ -78,6 +79,7 @@ /cfg/php-fpm-7.1/*.conf /cfg/php-fpm-7.2/*.conf /cfg/php-fpm-7.3/*.conf +/cfg/php-fpm-7.4/*.conf # Ignore custom PHP-FPM modules /mod/php-fpm-5.2/*.so @@ -89,6 +91,7 @@ /mod/php-fpm-7.1/*.so /mod/php-fpm-7.2/*.so /mod/php-fpm-7.3/*.so +/mod/php-fpm-7.4/*.so # Ignore custom bash and other confi files /bash/* diff --git a/.travis.yml b/.travis.yml index ca8cf2d4..baeded99 100644 --- a/.travis.yml +++ b/.travis.yml @@ -50,6 +50,7 @@ env: - S1=PHP V1=7.1 S2=HTTPD V2=apache-2.2 - S1=PHP V1=7.2 S2=HTTPD V2=apache-2.2 - S1=PHP V1=7.3 S2=HTTPD V2=apache-2.2 + - S1=PHP V1=7.4 S2=HTTPD V2=apache-2.2 # PHP vs Apache 2.4 - S1=PHP V1=5.3 S2=HTTPD V2=apache-2.4 - S1=PHP V1=5.4 S2=HTTPD V2=apache-2.4 @@ -59,6 +60,7 @@ env: - S1=PHP V1=7.1 S2=HTTPD V2=apache-2.4 - S1=PHP V1=7.2 S2=HTTPD V2=apache-2.4 - S1=PHP V1=7.3 S2=HTTPD V2=apache-2.4 + - S1=PHP V1=7.4 S2=HTTPD V2=apache-2.4 # PHP vs Nginx stable - S1=PHP V1=5.3 S2=HTTPD V2=nginx-stable - S1=PHP V1=5.4 S2=HTTPD V2=nginx-stable @@ -68,6 +70,7 @@ env: - S1=PHP V1=7.1 S2=HTTPD V2=nginx-stable - S1=PHP V1=7.2 S2=HTTPD V2=nginx-stable - S1=PHP V1=7.3 S2=HTTPD V2=nginx-stable + - S1=PHP V1=7.4 S2=HTTPD V2=nginx-stable # PHP vs Nginx mainline - S1=PHP V1=5.3 S2=HTTPD V2=nginx-mainline - S1=PHP V1=5.4 S2=HTTPD V2=nginx-mainline @@ -77,6 +80,7 @@ env: - S1=PHP V1=7.1 S2=HTTPD V2=nginx-mainline - S1=PHP V1=7.2 S2=HTTPD V2=nginx-mainline - S1=PHP V1=7.3 S2=HTTPD V2=nginx-mainline + - S1=PHP V1=7.4 S2=HTTPD V2=nginx-mainline ### ### MYSQL diff --git a/README.md b/README.md index 46279d98..0147d657 100644 --- a/README.md +++ b/README.md @@ -284,12 +284,27 @@ Every single attachable container comes with many different versions. In order t + + + + 7.4[2] + + + + + + + + [1] PHP 5.2 is available to use, but it is not officially supported. The Devilbox intranet does not work with this version as PHP 5.2 does not support namespaces. Furthermore PHP 5.2 does only work with Apache 2.4, Nginx stable and Nginx mainline. It does not work with Apache 2.2. Use at your own risk. +[2] PHP 7.4 is the upcoming unreleased version of PHP, which is directly built out of their [master](https://github.com/php/php-src/) branch. +It will improve every day as the image is rebuilt every day from the latest commits. + > **Documentation:** > [Change container versions](https://devilbox.readthedocs.io/en/latest/getting-started/change-container-versions.html) diff --git a/cfg/php-fpm-7.4/.keepme b/cfg/php-fpm-7.4/.keepme new file mode 100644 index 00000000..e69de29b diff --git a/cfg/php-fpm-7.4/README.md b/cfg/php-fpm-7.4/README.md new file mode 100644 index 00000000..db30d63f --- /dev/null +++ b/cfg/php-fpm-7.4/README.md @@ -0,0 +1,54 @@ +# PHP-FPM config directory + +## General + +* Add you custom php-fpm.conf files into this directory. +* Only files ending by `.conf` will be enabled +* Only files ending by `.conf` are ignored by git + + +## Example files + +This directory also holds three example files: + +| File | Description | +|---------------------------------|---------------------------------------------| +| `devilbox-fpm.conf-default` | Represents current PHP-FPM default settings | +| `devilbox-fpm.conf-pm_dynamic` | Example settings for dynamic workers | +| `devilbox-fpm.conf-pm_ondemand` | Example settings for ondemand workers | + +* Do not edit these example files! +* Copy them to a new file (in case you want to use them) + + +## Worker configuration + +When changing worker processes or scheduler, the following commands will come in handy +to monitor number of processes and memory consumption. + +```bash +# Show current PHP-FPM child memory consumption in MB +ps -ylC php-fpm --sort:rss | awk '!/RSS/ { s+=$8 } END { printf "%dM\n", s/1024 }' + +# (repeatedly) show current PHP-FPM child memory consumption in MB +watch --interval=1 "ps -ylC php-fpm --sort:rss | awk '"'!'"/RSS/ { s+=\$8 } END { printf \"%dM\n\", s/1024 }'" + +# (repeatedly) Current number of PHP-FPM childs +watch --interval=1 "ps auxw | grep -E 'php-(cgi|fpm)' | grep -vE 'grep|master' | wc -l" +``` + + +## Overwriting + +If multiple `.conf` files are present in this directory specifying different values for the +same settings, the last file (alphabetically by filename) will overwrite any previous values. + + +## Compatibility + +**Note:** + +PHP-FPM 5.2 uses XML-style configuration and does not allow includes. +If you want to change php-fpm.conf for PHP-FPM 5.2 you need to adjust the main configuration file. + +See `php-fpm-5.2/` directory. diff --git a/cfg/php-fpm-7.4/devilbox-fpm.conf-default b/cfg/php-fpm-7.4/devilbox-fpm.conf-default new file mode 100644 index 00000000..37e1f8ed --- /dev/null +++ b/cfg/php-fpm-7.4/devilbox-fpm.conf-default @@ -0,0 +1,80 @@ +; ############################################################ +; Devilbox php-fpm.conf: Current default settings +; ############################################################ +; +; Information +; ----------- +; * Do not edit this file (it belongs to git) +; * This file shows example settings that are currently effective +; * If this file is enabled, nothing will change as it reflects the current default settings +; +; How to enable? +; -------------- +; * Copy this file to another file with ".conf" extension +; * Only files with ".conf" extensions will be applied by PHP-FPM + + +; ### +; ### PHP-FPM global settings +; ### +; +[global] + +; Error log level. Possible values: alert, error, warning, notice, debug. Default value: notice. +log_level = notice + + + +; ### +; ### Pool configuratoin +; ### + +[www] + +; The timeout for serving a single request after which the worker process will be killed. +; This option should be used when the 'max_execution_time' ini option does not stop script +; execution for some reason. +request_terminate_timeout = 120s + + +; A maximum of backlog incoming connections will be queued for processing. +; If a connection request arrives with the queue full the client may receive an error with an +; indication of ECONNREFUSED, or, if the underlying protocol supports retransmission, +; the request may be ignored so that retries may succeed. +; This should not be greater than `cat /proc/sys/net/core/somaxconn`, otherwise connections +; are silently truncated +listen.backlog = 1024 + + +; static - the number of child processes is fixed (pm.max_children). +; +; dynamic - the number of child processes is set dynamically based on the following directives: +; pm.max_children, pm.start_servers, pm.min_spare_servers, pm.max_spare_servers. +; +; ondemand - the processes spawn on demand (when requested, as opposed to dynamic, where +; pm.start_servers are started when the service is started. +pm = ondemand + +; The maximum number of child processes to be created +pm.max_children = 50 + +; The number of child processes created on startup. Used only when pm is set to dynamic. +; Default Value: min_spare_servers + (max_spare_servers - min_spare_servers) / 2. +pm.start_servers = 4 + +; The desired minimum number of idle server processes. +pm.min_spare_servers = 2 + +; The desired maximum number of idle server processes. +pm.max_spare_servers = 6 + +; The number of requests each child process should execute before respawning. +; This can be useful to work around memory leaks in 3rd party libraries. +; For endless request processing specify '0'. Equivalent to PHP_FCGI_MAX_REQUESTS. +; Default value: 0. +pm.max_requests = 500 + +; The number of seconds after which an idle process will be killed. Used only when pm is set to ondemand +pm.process_idle_timeout = 10s + +; vim: set ft=dosini: diff --git a/cfg/php-fpm-7.4/devilbox-fpm.conf-pm_dynamic b/cfg/php-fpm-7.4/devilbox-fpm.conf-pm_dynamic new file mode 100644 index 00000000..59ec044b --- /dev/null +++ b/cfg/php-fpm-7.4/devilbox-fpm.conf-pm_dynamic @@ -0,0 +1,46 @@ +; ############################################################ +; # Devilbox php-fpm.conf: dynamic example +; ############################################################ +; +; Information +; ----------- +; * Do not edit this file (it belongs to git) +; * This file show a possible dynamic example configuration +; * If this file is enabled, it will overwrite the current worker settings +; +; How to enable? +; -------------- +; * Copy this file to another file with ".conf" extension +; * Only files with ".conf" extensions will be applied by PHP-FPM + + +; ### +; ### Pool configuratoin +; ### + +[www] + +; dynamic - the number of child processes is set dynamically based on the following directives: +pm = dynamic + +; The maximum number of child processes to be created +pm.max_children = 50 + +; The number of child processes created on startup. Used only when pm is set to dynamic. +; Default Value: min_spare_servers + (max_spare_servers - min_spare_servers) / 2. +pm.start_servers = 4 + +; The desired minimum number of idle server processes. +pm.min_spare_servers = 2 + +; The desired maximum number of idle server processes. +pm.max_spare_servers = 6 + +; The number of requests each child process should execute before respawning. +; This can be useful to work around memory leaks in 3rd party libraries. +; For endless request processing specify '0'. Equivalent to PHP_FCGI_MAX_REQUESTS. +; Default value: 0. +pm.max_requests = 500 + + +; vim: set ft=dosini: diff --git a/cfg/php-fpm-7.4/devilbox-fpm.conf-pm_ondemand b/cfg/php-fpm-7.4/devilbox-fpm.conf-pm_ondemand new file mode 100644 index 00000000..84cd3ca7 --- /dev/null +++ b/cfg/php-fpm-7.4/devilbox-fpm.conf-pm_ondemand @@ -0,0 +1,39 @@ +; ############################################################ +; # Devilbox php-fpm.conf: ondemand example +; ############################################################ +; +; Information +; ----------- +; * Do not edit this file (it belongs to git) +; * This file show a possible ondemand example configuration +; * If this file is enabled, it will overwrite the current worker settings +; +; How to enable? +; -------------- +; * Copy this file to another file with ".conf" extension +; * Only files with ".conf" extensions will be applied by PHP-FPM + + +; ### +; ### Pool configuratoin +; ### + +[www] + +; ondemand - the processes spawn on demand (when requested, as opposed to dynamic, where +; pm.start_servers are started when the service is started. +pm = ondemand + +; The maximum number of child processes to be created +pm.max_children = 50 + +; The number of requests each child process should execute before respawning. +; This can be useful to work around memory leaks in 3rd party libraries. +; For endless request processing specify '0'. Equivalent to PHP_FCGI_MAX_REQUESTS. +; Default value: 0. +pm.max_requests = 500 + +; The number of seconds after which an idle process will be killed. +pm.process_idle_timeout = 10s + +; vim: set ft=dosini: diff --git a/cfg/php-ini-7.4/.keepme b/cfg/php-ini-7.4/.keepme new file mode 100644 index 00000000..e69de29b diff --git a/cfg/php-ini-7.4/README.md b/cfg/php-ini-7.4/README.md new file mode 100644 index 00000000..b967fcaa --- /dev/null +++ b/cfg/php-ini-7.4/README.md @@ -0,0 +1,26 @@ +# PHP ini directory + +## General + +* Add you custom php.ini files into this directory. +* Only files ending by `.ini` will be enabled +* Only files ending by `.ini` are ignored by git + + +## Example files + +This directory also holds two example files: + +| File | Description | +|----------------------------|-----------------------------------------| +| `devilbox-php.ini-default` | Represents current PHP default settings | +| `devilbox-php.ini-xdebug ` | Example settings for Xdebug | + +* Do not edit these example files! +* Copy them to a new file (in case you want to use them) + + +## Overwriting + +If multiple `.ini` files are present in this directory specifying different values for the +same settings, the last file (alphabetically by filename) will overwrite any previous values. diff --git a/cfg/php-ini-7.4/devilbox-php.ini-default b/cfg/php-ini-7.4/devilbox-php.ini-default new file mode 100644 index 00000000..83d03712 --- /dev/null +++ b/cfg/php-ini-7.4/devilbox-php.ini-default @@ -0,0 +1,63 @@ +; ############################################################ +; # Devilbox php.ini: Current default settings +; ############################################################ +; +; Information +; ----------- +; * Do not edit this file (it belongs to git) +; * This file shows example settings that are currently effective +; * If this file is enabled, nothing will change as it reflects the current default settings +; +; How to enable? +; -------------- +; * Copy this file to another file with ".ini" extension +; * Only files with ".ini" extensions will be applied by PHP + + + +; +; PHP.ini configuration +; +[PHP] + +; Memory +; Note: "memory_limit" should be larger than "post_max_size" +memory_limit = 512M + + +; Timeouts +max_execution_time = 120 +max_input_time = 120 + + +; Uploads +; Note: "post_max_size" should be greater than "upload_max_filesize" +post_max_size = 72M +upload_max_filesize = 64M +max_file_uploads = 20 + + +; Vars +variables_order = EGPCS +max_input_vars = 8000 +max_input_nesting_level = 64 + + +; Error reporting +; Note: error_log is dynamic and handled during start to set appropriate setting +error_reporting = E_ALL | E_NOTICE | E_STRICT | E_DEPRECATED +xmlrpc_errors = Off +report_memleaks = On +display_errors = On +display_startup_errors = On +log_errors = On +html_errors = On + + +; Xdebug settings +xdebug.default_enable = Off +xdebug.profiler_enable = Off +xdebug.remote_enable = Off +xdebug.remote_autostart = Off + +; vim: set ft=dosini: diff --git a/cfg/php-ini-7.4/devilbox-php.ini-xdebug b/cfg/php-ini-7.4/devilbox-php.ini-xdebug new file mode 100644 index 00000000..d3e977b5 --- /dev/null +++ b/cfg/php-ini-7.4/devilbox-php.ini-xdebug @@ -0,0 +1,36 @@ +; ############################################################ +; # Devilbox php.ini: Xdebug example +; ############################################################ +; +; Information +; ----------- +; * Do not edit this file (it belongs to git) +; * This file show a possible Xdebug example configuration +; * If this file is enabled, it will overwrite the current Xdebug settings +; +; How to enable? +; -------------- +; * Copy this file to another file with ".ini" extension +; * Only files with ".ini" extensions will be applied by PHP + + + +; +; PHP.ini configuration +; +[PHP] + +; Xdebug +; Use these settings to enable Xdebug for PHP +; Make sure to read up on Xdebug some settings might significantly slow down requests. +; The following is just an example configuration and should be adjusted +xdebug.default_enable = On +xdebug.profiler_enable = On +xdebug.remote_enable = On +xdebug.remote_autostart = On +xdebug.remote_handler = dbgp +xdebug.remote_port = 9000 +xdebug.idekey = PHPSTORM +xdebug.remote_log = /var/log/php/xdebug.log + +; vim: set ft=dosini: diff --git a/docker-compose.yml b/docker-compose.yml index 91b8a22b..b4942a25 100644 --- a/docker-compose.yml +++ b/docker-compose.yml @@ -95,7 +95,7 @@ services: # PHP / HHVM # ------------------------------------------------------------ php: - image: devilbox/php-fpm:${PHP_SERVER:-7.0}-work-0.44 + image: devilbox/php-fpm:${PHP_SERVER:-7.0}-work-0.45 ## ## All .env variables diff --git a/docs/configuration-files/env-file.rst b/docs/configuration-files/env-file.rst index 90c9ae59..a272f113 100644 --- a/docs/configuration-files/env-file.rst +++ b/docs/configuration-files/env-file.rst @@ -528,11 +528,11 @@ PHP_SERVER This variable choses your desired PHP-FPM version to be started. -+-------------------------+-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+-----------------+ -| Name | Allowed values | Default value | -+=========================+=========================================================================================================================================================================================+=================+ -| ``PHP_SERVER`` | ``php-fpm-5.2`` |br| ``php-fpm-5.3`` |br| ``php-fpm-5.4`` |br| ``php-fpm-5.5`` |br| ``php-fpm-5.6`` |br| ``php-fpm-7.0`` |br| ``php-fpm-7.1`` |br| ``php-fpm-7.2`` |br| ``php-fpm-7.3`` | ``php-fpm-7.1`` | -+-------------------------+-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+-----------------+ ++-------------------------+--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+-----------------+ +| Name | Allowed values | Default value | ++=========================+==============================================================================================================================================================================================================+=================+ +| ``PHP_SERVER`` | ``php-fpm-5.2`` |br| ``php-fpm-5.3`` |br| ``php-fpm-5.4`` |br| ``php-fpm-5.5`` |br| ``php-fpm-5.6`` |br| ``php-fpm-7.0`` |br| ``php-fpm-7.1`` |br| ``php-fpm-7.2`` |br| ``php-fpm-7.3`` |br| ``php-fpm-7.4`` | ``php-fpm-7.2`` | ++-------------------------+--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+-----------------+ .. important:: **PHP 5.2** is available to use, but it is not officially supported. The Devilbox intranet does @@ -558,6 +558,7 @@ All values are already available in the ``.env`` file and just need to be commen PHP_SERVER=php-fpm-7.1 #PHP_SERVER=php-fpm-7.2 #PHP_SERVER=php-fpm-7.3 + #PHP_SERVER=php-fpm-7.4 .. _env_httpd_server: diff --git a/docs/configuration-files/php-fpm-conf.rst b/docs/configuration-files/php-fpm-conf.rst index 6307350c..0b0316ad 100644 --- a/docs/configuration-files/php-fpm-conf.rst +++ b/docs/configuration-files/php-fpm-conf.rst @@ -40,6 +40,7 @@ See the directory structure for PHP-FPM configuration directories inside ``./cfg drwxr-xr-x 2 cytopia cytopia 4096 Mar 5 21:53 php-fpm-7.1/ drwxr-xr-x 2 cytopia cytopia 4096 Mar 5 21:53 php-fpm-7.2/ drwxr-xr-x 2 cytopia cytopia 4096 Mar 5 21:53 php-fpm-7.3/ + drwxr-xr-x 2 cytopia cytopia 4096 Mar 5 21:53 php-fpm-7.4/ Customization is achieved by placing a file into ``cfg/php-fpm-X.X/`` (where ``X.X`` stands for your PHP version). The file must end by ``.conf`` in order to be sourced by the PHP-FPM server. diff --git a/docs/configuration-files/php-ini.rst b/docs/configuration-files/php-ini.rst index 53d16617..68abe135 100644 --- a/docs/configuration-files/php-ini.rst +++ b/docs/configuration-files/php-ini.rst @@ -33,6 +33,7 @@ See the directory structure for PHP configuration directories inside ``./cfg/`` drwxr-xr-x 2 cytopia cytopia 4096 Mar 5 21:53 php-ini-7.1/ drwxr-xr-x 2 cytopia cytopia 4096 Mar 5 21:53 php-ini-7.2/ drwxr-xr-x 2 cytopia cytopia 4096 Mar 5 21:53 php-ini-7.3/ + drwxr-xr-x 2 cytopia cytopia 4096 Mar 5 21:53 php-ini-7.4/ Customization is achieved by placing a file into ``cfg/php-ini-X.X/`` (where ``X.X`` stands for your PHP version). The file must end by ``.ini`` in order to be sourced by the PHP-FPM server. diff --git a/docs/getting-started/change-container-versions.rst b/docs/getting-started/change-container-versions.rst index e5bfb424..ed102089 100644 --- a/docs/getting-started/change-container-versions.rst +++ b/docs/getting-started/change-container-versions.rst @@ -88,6 +88,7 @@ It will look something like this: PHP_SERVER=7.1 #PHP_SERVER=7.2 #PHP_SERVER=7.3 + #PHP_SERVER=7.4 As you can see, all available values are already there, but commented. Only one is uncommented. In this example it is ``7.1``, which is the PHP version that will be started, once the Devilbox @@ -111,6 +112,7 @@ In order to enable PHP 5.5, you would change the ``.env`` file like this: #PHP_SERVER=7.1 #PHP_SERVER=7.2 #PHP_SERVER=7.3 + #PHP_SERVER=7.4 Start the Devilbox ^^^^^^^^^^^^^^^^^^ @@ -229,6 +231,7 @@ Consider this ``.env`` file: #PHP_SERVER=7.1 #PHP_SERVER=7.2 #PHP_SERVER=7.3 + #PHP_SERVER=7.4 Both, PHP 5.5 and PHP 7.0 are uncommented, however, when you start the Devilbox, it will use PHP 7.0 as this value overwrites any previous ones. diff --git a/env-example b/env-example index e6de819b..b446d2e8 100644 --- a/env-example +++ b/env-example @@ -232,6 +232,7 @@ DEVILBOX_UI_ENABLE=1 #PHP_SERVER=7.1 PHP_SERVER=7.2 #PHP_SERVER=7.3 +#PHP_SERVER=7.4 ### From 7f0f312a3760a4361abcd3e481ad87b0d52ef3d4 Mon Sep 17 00:00:00 2001 From: cytopia Date: Sat, 3 Nov 2018 12:32:40 +0100 Subject: [PATCH 2/3] Bump PHP version which supports Redis on PHP 7.4 --- docker-compose.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker-compose.yml b/docker-compose.yml index b4942a25..581a2206 100644 --- a/docker-compose.yml +++ b/docker-compose.yml @@ -95,7 +95,7 @@ services: # PHP / HHVM # ------------------------------------------------------------ php: - image: devilbox/php-fpm:${PHP_SERVER:-7.0}-work-0.45 + image: devilbox/php-fpm:${PHP_SERVER:-7.0}-work-0.46 ## ## All .env variables From a3dcc12cdeb96a5021126aa4cd484edcbed1ee43 Mon Sep 17 00:00:00 2001 From: cytopia Date: Sat, 3 Nov 2018 12:33:06 +0100 Subject: [PATCH 3/3] Allow linkcheck to ignore SSL certificate issues --- docs/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/Makefile b/docs/Makefile index cd0225e8..0ba2edd2 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -55,7 +55,7 @@ else bash -c 'curl -Ss -o linkcheck -z linkcheck https://raw.githubusercontent.com/cytopia/linkcheck/master/linkcheck 2>/dev/null' endif chmod +x linkcheck - ./linkcheck -r 60 -t 30 -e rst _includes/ + ./linkcheck -k -r 60 -t 30 -e rst _includes/ build: sphinx-build -a -E -n -j auto -q -W . _build/html