Used .html as filename extension for templates

In `user_profile` we're actually extending `template.html` and not `template.php`.