Mike & Chris,
Just another comment. Though my suggested patches fix this small issue, I have realized that the way that 3.1 is rendering the menu (with or without the patch) is not the same as 3.0 did: the title field allows html tags, that should be removed in menu titles.
e.g. a title like: This is <b>bold</b>
- is shown in 3.0 menu as This is bold
- and in 3.1 beta as This is <b>bold</b>
The page title (<h1>...</h1>) is shown as This is bold in both cases.
(I presume this is because get_navigation() was changed to use new internal page caching functions.)
-----------
EDIT: All this has been fixed in r650
Just another comment. Though my suggested patches fix this small issue, I have realized that the way that 3.1 is rendering the menu (with or without the patch) is not the same as 3.0 did: the title field allows html tags, that should be removed in menu titles.
e.g. a title like: This is <b>bold</b>
- is shown in 3.0 menu as This is bold
- and in 3.1 beta as This is <b>bold</b>
The page title (<h1>...</h1>) is shown as This is bold in both cases.
(I presume this is because get_navigation() was changed to use new internal page caching functions.)
-----------
EDIT: All this has been fixed in r650