It could have been a custom marking menu the guy put together. AFAIK, right-click menus are hard-coded.