A tiny PHP logging library