Add page id to bloom index

Teodor Sigaev <teodor@sigaev.ru>

Commit: 813b456ea21d4cf57b124bf855ec019c7a8099a7
Author: Teodor Sigaev <teodor@sigaev.ru>
Date: 2016-04-12T15:03:01Z
Releases: 9.6.0
Add page id to bloom index

Added to ensure that bloom index pages can be distinguished from other pages
by pg_filedump. Because there wasn't any public/production versions before,
it doesn't pay attention to any compatibility issues.

Per notice from Tom Lane

Files

PathChange+/−
contrib/bloom/bloom.h modified +17 −2
contrib/bloom/blutils.c modified +1 −0