Extension:Persistent Page Identifiers/persistent page ids table

The Persistent Page Identifiers extension needs an extra database table to store the information on the persistent page identifiers (IDs) and map them to the pages on the wiki. This is the database schema used to create the table:

CREATE TABLE IF NOT EXISTS /*_*/persistent_page_ids (
	page_id        INTEGER         NOT NULL,
	persistent_id  VARBINARY(255)  NOT NULL,
	PRIMARY KEY(page_id),
	UNIQUE(persistent_id)
) /*$wgDBTableOptions*/;