A PHP mini-framework