Salut,
Je ferais un plugin local qui modifie le header.
Lien vers la doc : https://docs.moodle.org/dev/Local_plugins
Et concretement ce qu'il faut faire si la doc n'est pas assez claire :
Dans le dossier moodle/local, créer un dossier ayant pour nom le nom de ton plugin (je vais utiliser "adduserinfo").
Il faut un fichier version.php :
<?php
defined('MOODLE_INTERNAL') || die;
$plugin->version = 2018120500;
$plugin->requires = 2017120500; //mettre la bonne version j'ai enlevé un an a la date d'aujourdhui..
$plugin->component = 'local_adduserinfo'; // Il y a un formalisme précis "type de plugin _ nomduplugin"
$plugin->maturity = MATURITY_STABLE;
$plugin->release = '0.1';
Ensuite il faut un fichier lib.php :
<?php
function local_adduserinfo_render_navbar_output() //debut nom du plugin et ensuite le renderer que l'on veut surcharger.
{
global $USER;
return '<span id="userdata" data-userid="'.$USER->id.'" data-userfirstname="'.$USER->firstname.'" data-userlastname="'.$USER->lastname.'"></span>';
}
Il faut ensuite crée un dossier "lang", puis créer dedans un dossier "fr" et un dossier "en", puis crée dans fr et dans en un fichier local_adduserinfo.php qui contient :
<?php
$string['pluginname'] = 'Add user info';
Bon courage,
Mathieu