Remove unnecessary grammar symbols

Peter Eisentraut <peter@eisentraut.org>

Commit: a6964bc1bb0793e20636ccb573cd2a5ad3ef7667
Author: Peter Eisentraut <peter@eisentraut.org>
Date: 2020-12-04T10:16:26Z
Releases: 14.0
Remove unnecessary grammar symbols

Instead of publication_name_list, we can use name_list.  We already
refer to publications everywhere else by the 'name' or 'name_list'
symbols, so this only improves consistency.

Reviewed-by: https://www.postgresql.org/message-id/flat/3e3ccddb-41bd-ecd8-29fe-195e34d9886f%40enterprisedb.com
Discussion: Tom Lane <tgl@sss.pgh.pa.us>

Files

PathChange+/−
src/backend/parser/gram.y modified +2 −18