Translations:Manual:Edit token/17/en

element of the PHP session with the salt; if such an element does not exist in the PHP session, a random one is generated; See getEditToken function in repository.