# HG changeset patch
# User Pascal Bellard <pascal.bellard@slitaz.org>
# Date 1536482205 -7200
# Node ID b95ac33cc6fe7c1fb9860a4531a63210a8e9fca4
# Parent  53dff15e8d95c585e87478cdd6fc0fd4ce4755c2
php-common: fix extension_dir in /etc/php.ini (thanks anggit)

diff -r 53dff15e8d95 -r b95ac33cc6fe php-common/receipt
--- a/php-common/receipt	Sun Sep 09 10:21:27 2018 +0200
+++ b/php-common/receipt	Sun Sep 09 10:36:45 2018 +0200
@@ -20,6 +20,7 @@
 	cp $stuff/php.desktop $fs/usr/share/applications 
 	cp $stuff/php.png $fs/usr/share/pixmaps 
 	cp $install/etc/php.ini $fs/etc
+	sed -i '|.*\(extension_dir.*/usr/share/php.*\)$|\1|' $fs/etc/php.ini
 }
 
 # Post and pre install commands