doc: add missing role attributes to user management section

Bruce Momjian <bruce@momjian.us>

Commit: 609026bce31226a942b07f0a0aa0f18b61c79839
Author: Bruce Momjian <bruce@momjian.us>
Date: 2022-08-12T19:43:23Z
Releases: 12.13
doc:  add missing role attributes to user management section

Reported-by: Shinya Kato

Discussion: https://postgr.es/m/1ecdb1ff78e9b03dfce37e85eaca725a@oss.nttdata.com

Author: Shinya Kato

Backpatch-through: 10

Files

PathChange+/−
doc/src/sgml/user-manag.sgml modified +33 −0

Documentation touched