#!/bin/sh set -e if [ "$1" = "remove" ]; then for dsoname in curl ; do php5dismod ${dsoname} done fi exit 0