cp_echo "CN: Removing $php4ext extension from file $ini_file"
cp_check_and_sed "$php4ext_re" \
"/$php4ext_re/d" \
"$ini_file" && need_restart=1 || true
cp_echo "CN: Removing $php4ext extension from file $ini_file"
cp_check_and_sed "$php4ext_re" \
"/$php4ext_re/d" \
"$ini_file" && need_restart=1 || true