A tiny PHP logger