Searched refs:ppTime (Results 1 – 1 of 1) sorted by relevance
152 $fpppTime = $ppTime = $reparseTime = $compareTime = 0; variable205 $ppTime += microtime(true) - $startTime;268 'Pretty printing took: ', $ppTime, "\n",
Completed in 3 milliseconds