Timing script for running an extension

gistfile1.txt

<?php
$lines = file('php-7.4.1/Zend/zend_language_parser.c');

$started = microtime();
foreach ($lines as $line) {
    str_reverse($line);
}
$ended = microtime();
echo $ended - $started;