#!/bin/sh
[ -n "$IPKG_INSTROOT" ] || {
	if [ -e "/etc/php7/20_openssl.ini" ] && [ -e "/etc/php7/15_openssl.ini" ]; then
		echo "Renaming PHP ini file '/etc/php7/20_openssl.ini' -> '/etc/php7/15_openssl.ini'"
		mv /etc/php7/20_openssl.ini /etc/php7/15_openssl.ini
	fi
}
