[Sorry for not responding earlier. This one somehow went under my radar]
Thanks for the heads up. I've never seen this problem, presumably because the php.ini settings on our servers have error reporting set to the default production server value of:
error_reporting = E_ALL & ~E_DEPRECATED & ~E_STRICT
So presumably I haven't been seeing the DEPRECATED warnings?
I'll look into it when I get back from holiday.