Remove deprecated PHP-League (in favor of orno)