DocMgr

I just upgraded to php 5.3. Sigh...as usual, there's problems due to the php maintainers screwing with their codebase again. Here's another brain-dump:

• lib/dataformatting.php defines a datediff() function that is, as far as I can tell, completely unused. Which is good because php now has a built-in datediff() function. Edit the file and change the name to olddate_diff()

By the way: Does anyone ever read these things? Drop me a msg. if it was useful.

(btw, does anyone ever care?