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