Changes

Summary

  1. #538: Un-deprecate now implemented player portal event api (details)
Commit 05b2dc61327346839079e5684fad4a74e1cb351a by md_5 (md_5)
#538: Un-deprecate now implemented player portal event api
The file was modifiedsrc/main/java/org/bukkit/event/player/PlayerPortalEvent.java