Phoenix616 authored and md_5 committed 1e76d09fad5
#724: Re-implement player portal event search radius and creation API
This also fixes that the nether/end portals would be created even if the
event was cancelled as well as that the EntityPortalEvent would be
called for player portal usage which is not according to its API
specification
