[pmwiki-users] Storing page name in page file?

[christian.ridderstrom at gmail.com]

Hi

Just a thought which I had while answering a user's question about how an 
administrator can rename a page by simply renaming the page file.

Wouldn't it make sense to have the name of the page stored in the page 
file, so that when a page (file) is renamed, the old name is stored as 
part of the page's history?

This assumes some kind of mechanism of course that checks/fixes the name
stored in the page (with versions) when a page is saved for instance.

/Christian

-- 
Christian Ridderström, +46-8-768 39 44               http://www.md.kth.se/~chr