Changed parameter of theme_menu() to accept a render array and updated PHPDoc accordingly.