################
Patch to manage "menu titles" with WP Pages
Author: Giovanni Allegri
Mail: giohappy@gmail.com
Date: 22 Octobe 2007
Worpress version: 2.3
################
Usage:
Modifying the following files you can set a menu voice different from the Page title, from inside the Page Administration tools.
A "title_menu" new variable has been used, to manage the related "Walker" class functions.
You can use it within "wp_list_pages" function inside "The Loop".
Example:
wp_list_pages('depth=1&title_li=&title_menu=true');
The default value is "false".
Modified files:
-----
FILE: wp-admin/includes/schema.php
OLD:
#100 post_title text NOT NULL,
#101 post_category int(4) NOT NULL default '0',
NEW:
#100 post_title text NOT NULL,
#101 post_title_menu text NOT NULL,
#102 post_category int(4) NOT NULL default '0',
-----
FILE: wp-includes/classes.php
OLD:
#522 $output .= $indent . '