Buenas
Como te dice Jose Luís el id es el que encontramos en la url y que es fácilmente recuperable
Este id se asigna por Moodle a cada usuario y es autoincrementable.
Si vuestra necesidad es identificarlo con el número de matrícula (que parece lógico) y que el alumno pueda verlo, os tocaría actualizar la vista que corresponda, a través del archivo php
echo '<p> Nº Matrícula 00'.$user->id.'</p>';
Recuerda que esto supondría modificar el core Moodle
Saludos!!