"; foreach ($users as $user) { $html .= "

".$user."

"; } $html .= ""; return $html; } //controller function list_users() { $users = get_users(); return users_template($users); } echo list_users(); echo "

"; echo "The above output is generated by the code below:
"; highlight_file( __FILE__ ); ?>