A toy PHP micro-framework