Tiny PHP metrics extension.