From 0dc1ec449ca407c3b81d7b8493d2a18b7d16aad2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jos=C3=A9=20Gonz=C3=A1lez?= Date: Fri, 30 Apr 2021 14:44:03 +0200 Subject: [PATCH] Added standard headers --- pandora_console/operation/users/user_edit.php | 6 +++--- .../operation/users/user_edit_header.php | 20 ++++++++++++------- .../users/user_edit_notifications.php | 1 + 3 files changed, 17 insertions(+), 10 deletions(-) diff --git a/pandora_console/operation/users/user_edit.php b/pandora_console/operation/users/user_edit.php index 40bc8aa2b4..a8aaa5936e 100644 --- a/pandora_console/operation/users/user_edit.php +++ b/pandora_console/operation/users/user_edit.php @@ -1,9 +1,8 @@ '', + 'label' => __('Workspace'), + ], + [ + 'link' => '', + 'label' => __('Edit user'), + ], + ] ); } diff --git a/pandora_console/operation/users/user_edit_notifications.php b/pandora_console/operation/users/user_edit_notifications.php index c7cd4bb1b5..4228c16543 100644 --- a/pandora_console/operation/users/user_edit_notifications.php +++ b/pandora_console/operation/users/user_edit_notifications.php @@ -33,6 +33,7 @@ global $config; require_once $config['homedir'].'/include/functions_notifications.php'; // Load the header. +$headerTitle = __('User notifications'); require $config['homedir'].'/operation/users/user_edit_header.php'; if (get_parameter('change_label', 0)) {