File tree Expand file tree Collapse file tree 3 files changed +10
-14
lines changed Expand file tree Collapse file tree 3 files changed +10
-14
lines changed Original file line number Diff line number Diff line change @@ -118,8 +118,8 @@ RUN apt update \
118
118
php7.1-intl \
119
119
php7.1-json \
120
120
php7.1-mbstring \
121
+ php7.1-pcov \
121
122
php7.1-phar \
122
- php7.1-phpdbg \
123
123
php7.1-readline \
124
124
php7.1-sockets \
125
125
php7.1-xml \
@@ -134,8 +134,8 @@ RUN apt update \
134
134
php7.2-intl \
135
135
php7.2-json \
136
136
php7.2-mbstring \
137
+ php7.2-pcov \
137
138
php7.2-phar \
138
- php7.2-phpdbg \
139
139
php7.2-readline \
140
140
php7.2-sockets \
141
141
php7.2-xml \
@@ -150,8 +150,8 @@ RUN apt update \
150
150
php7.3-intl \
151
151
php7.3-json \
152
152
php7.3-mbstring \
153
+ php7.3-pcov \
153
154
php7.3-phar \
154
- php7.3-phpdbg \
155
155
php7.3-readline \
156
156
php7.3-sockets \
157
157
php7.3-xml \
@@ -166,8 +166,8 @@ RUN apt update \
166
166
php7.4-intl \
167
167
php7.4-json \
168
168
php7.4-mbstring \
169
+ php7.4-pcov \
169
170
php7.4-phar \
170
- php7.4-phpdbg \
171
171
php7.4-readline \
172
172
php7.4-sockets \
173
173
php7.4-xml \
@@ -181,8 +181,8 @@ RUN apt update \
181
181
php8.0-fileinfo \
182
182
php8.0-intl \
183
183
php8.0-mbstring \
184
+ php8.0-pcov \
184
185
php8.0-phar \
185
- php8.0-phpdbg \
186
186
php8.0-readline \
187
187
php8.0-sockets \
188
188
php8.0-xml \
@@ -196,8 +196,8 @@ RUN apt update \
196
196
php8.1-fileinfo \
197
197
php8.1-intl \
198
198
php8.1-mbstring \
199
+ php8.1-pcov \
199
200
php8.1-phar \
200
- php8.1-phpdbg \
201
201
php8.1-readline \
202
202
php8.1-sockets \
203
203
php8.1-xml \
@@ -211,8 +211,8 @@ RUN apt update \
211
211
php8.2-fileinfo \
212
212
php8.2-intl \
213
213
php8.2-mbstring \
214
+ php8.2-pcov \
214
215
php8.2-phar \
215
- php8.2-phpdbg \
216
216
php8.2-readline \
217
217
php8.2-sockets \
218
218
php8.2-xml \
Original file line number Diff line number Diff line change @@ -152,7 +152,6 @@ echo "Marking PHP ${PHP} as configured default"
152
152
update-alternatives --quiet --set php " /usr/bin/php${PHP} "
153
153
update-alternatives --quiet --set php-config " /usr/bin/php-config${PHP} "
154
154
update-alternatives --quiet --set phpize " /usr/bin/phpize${PHP} "
155
- update-alternatives --quiet --set phpdbg " /usr/bin/phpdbg${PHP} "
156
155
157
156
# Marks the working directory as safe for the current user prior to checkout
158
157
git config --global --add safe.directory ' *'
188
187
if [[ " ${INI} " != " " ]]; then
189
188
echo " Installing php.ini settings"
190
189
echo " $INI " > " /etc/php/${PHP} /cli/conf.d/99-settings.ini"
191
- echo " $INI " > " /etc/php/${PHP} /phpdbg/conf.d/99-settings.ini"
192
190
fi
193
191
194
192
echo " PHP version: $( php --version) "
Original file line number Diff line number Diff line change @@ -15,10 +15,8 @@ SUBSTITUTIONS+=('s/zend.assertions ?= ?(-1|1)/zend.assertions = 1/')
15
15
SUBSTITUTIONS+=(' s/opcache.huge_code_pages ?= ?(0|1)/opcache.huge_code_pages = 0/' )
16
16
17
17
for PHP_VERSION in 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2; do
18
- for PHP_SAPI in cli phpdbg; do
19
- INI_FILE=" /etc/php/${PHP_VERSION} /${PHP_SAPI} /php.ini"
20
- for SUBSTITUTION in " ${SUBSTITUTIONS[@]} " ; do
21
- sed --in-place -E -e " ${SUBSTITUTION} " " ${INI_FILE} "
22
- done
18
+ INI_FILE=" /etc/php/${PHP_VERSION} /cli/php.ini"
19
+ for SUBSTITUTION in " ${SUBSTITUTIONS[@]} " ; do
20
+ sed --in-place -E -e " ${SUBSTITUTION} " " ${INI_FILE} "
23
21
done
24
22
done
You can’t perform that action at this time.
0 commit comments