547
szerkesztés
Módosítások
→After login
If the user only has persistent-id, and it is the first time to login, he is given a temporary username, so he will be supposed to change it. To change username mediawiki needs an extension, called RenameUser.
We have to make a small modification on the extension. You can see the patch below, and [https://wiki.aai.niif.hu/images/1/1b/RenameUser-ShibAuth.patch download from here ] for the <code>SpecialRenameuser_body.php</code>.
<source lang="diff">
</source>
== ToDo ==
