Revision 34db7050153765bfed545021d22d3e4a7576a158

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

Updated PlatformUI API doc

After:
ebfd060 Merge branch '1.7' into 1.8