doc: use FILTER in aggregate example

Bruce Momjian <bruce@momjian.us>

Commit: de73544bb46dc141c870b92ca103c119126c7f91
Author: Bruce Momjian <bruce@momjian.us>
Date: 2022-09-01T02:19:05Z
Releases: 10.23
doc:  use FILTER in aggregate example

Reported-by: michal.palenik@freemap.sk

Discussion: https://postgr.es/m/163499710897.684.7420075366995883688@wrigleys.postgresql.org

Backpatch-through: 10

Files

PathChange+/−
doc/src/sgml/query.sgml modified +7 −6

Documentation touched