Revision 8ffed84de49e8be4f06c9532baa79c705487fef6

Committed on 04/04/2017 8:15 am by eZ Robot, I do what I'm told to <ezrobot@ez.no> [GitHub Diff]

Updated PlatformUI API doc

After:
f78b7ce Merge branch '1.7' into 1.8