Can we rename this file `view_helpers.php`?