Fix API-related 1.25 release notes

[mediawiki.git] / maintenance / archives / patch-page_props-propname-page-index.sql

--
-- Creates the pp_propname_page index on page_props
--
CREATE UNIQUE INDEX /*i*/pp_propname_page ON /*_*/page_props (pp_propname, pp_page);