wok-current diff php-mysql/receipt @ rev 22821

updated geos and geos-dev (3.5.0 -> 3.8.0)
author: Hans-G?nter Theisgen
date: Thu Feb 06 11:31:14 2020 +0100 (2020-02-06)
parents: 84a3b4b621e1
children: b10d41313e54
     1.1 --- a/php-mysql/receipt	Thu Nov 28 19:07:26 2019 +0100
     1.2 +++ b/php-mysql/receipt	Thu Feb 06 11:31:14 2020 +0100
     1.3 @@ -35,7 +35,7 @@
     1.4  post_install()
     1.5  {
     1.6  	grep -q ^extension=mysql.so "$1/etc/php.ini" || \
     1.7 -	    sed -e 's|extension=msql.so|extension=msql.so\nextension=mysql.so|' -i "$1/etc/php.ini"
     1.8 +	    sed -e 's|extension=bz2.so|extension=bz2.so\nextension=mysql.so|' -i "$1/etc/php.ini"
     1.9  	# Start Web server.
    1.10  	while read daemon file; do
    1.11  		[ -z "$1" ] || continue