a different page voice in the menu respect to the page title

[giohappy]

I've made some changes to the code to permit an author to set a Page Menu Title, inside the Page Administration tools, to display a voice in the menu (thorugh "wp_list_pages" function) different respect to the Page Title.
I've used a new parameter to be used, ie, in this way:

# wp_list_pages('depth=1&title_li=&title_menu=true');

I've added a field to the posts DB table, "page_title_menu".
I attach a .txt where I logged my changes. I'm not able to produce a trac patch, but if someone of you would like to do it, I would be glad.

Thanks a lot,
Giovanni

changes to the code

I've a whole bunch of plugins that add a meta box to do this. suggesting wontfix.