jskeet Update the API menu as well...

Latest commit 606aa34

Aug 19, 2018