Rename MicrotimeExtension to MicrotimeExtension.php