Revision 21dae51e42694f5567cf271d67ade050c8bc2b18

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

Updated PlatformUI API doc

After:
2494c96 Merge branch '1.7' into 1.8