Added PHP Timer library.