Added performance measurement.
authorarjen <arjen>
Thu, 14 Aug 2003 10:33:01 +0000 (10:33 +0000)
committerarjen <arjen>
Thu, 14 Aug 2003 10:33:01 +0000 (10:33 +0000)
commit1ea86fd320b7d644c9529bb378f40eaf5f281dac
treed97c81479832cab6d0e3126a2da50330c3e7c988
parenta4725bb3d0e870a394ecabfe47a2f0371d3528bc
Added performance measurement.
src/web/parameter.php