Commit menu changes made by the doxygen script.
Merge branch 'doxygen-2014-05-20_12-00' into staging