Sample code in custom-MVC-patterned PHP application