Doc: use CURRENT_USER not USER in plpgsql trigger examples.

Tom Lane <tgl@sss.pgh.pa.us>

Commit: 6db384f2f94882743152234bece5fa99730def91
Author: Tom Lane <tgl@sss.pgh.pa.us>
Date: 2023-10-09T15:29:55Z
Releases: 15.5
Doc: use CURRENT_USER not USER in plpgsql trigger examples.

While these two built-in functions do exactly the same thing,
CURRENT_USER seems preferable to use in documentation examples.
It's easier to look up if the reader is unsure what it is.
Also, this puts these examples in sync with an adjacent example
that already used CURRENT_USER.

Per question from Kirk Parker.

Discussion: https://postgr.es/m/CANwZ8rmN_Eb0h0hoMRS8Feftaik0z89PxVsKg+cP+PctuOq=Qg@mail.gmail.com

Files

PathChange+/−
doc/src/sgml/plpgsql.sgml modified +9 −9

Documentation touched

Discussion