Bukkit/Bukkit — pull request #478 by jrtc27 (2012-01-14 16:03:04+00:00)
Title: Add a PortalType property to PlayerPortalEvent

The new PortalType property allows plugins to always be able to tell what type of portal caused the event. Currently the dimension to which the player will travel can only be obtained by a plugin if the dimension of the world they are coming from is less than 10 (i.e. not a Bukkit multiworld). This is a better implementation of an old pull request, https://github.com/Bukkit/CraftBukkit/pull/554.

Corresponding CraftBukkit pull request: https://github.com/Bukkit/CraftBukkit/pull/623