Revision 783d47d40d76cd20f21318a4af9232065fe3f9ce

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

Updated PlatformUI API doc

After:
18dbecc Merge branch '1.7' into 1.8