Change PHP extensions

Change file extensions of older programs from '.php3' to '.php'.

2009-03-12 14:52:48