tiny config tool for php