set_super() {
mysql $mysql_flags <<EOSQL
    UPDATE mysql.user SET Super_Priv='Y' WHERE user='${MYSQL_USER}' AND host='%';
    FLUSH PRIVILEGES;
EOSQL
}

if [ -v MYSQL_USER_PRIV_SUPER ]; then 
    set_super
fi

unset -f set_super