text: -- Add page metadata for flaggedrevs
  CREATE TABLE /*$wgDBprefix*/flaggedpages (
    -- Foreign key to page.page_id
    fp_page_id integer unsigned NOT NULL,
    -- Is the page reviewed up to date?
    fp_reviewed bool NOT NULL default '0',
    -- Foreign key to flaggedrevs.fr_rev_id
    fp_stable integer unsigned NOT NULL,
    -- The highest quality of the page's reviewed revisions.
    -- Note that this may not be set to display by default though.
    fp_quality tinyint(1) default NULL,
    
    PRIMARY KEY (fp_page_id),
    INDEX fp_reviewed_page (fp_reviewed,fp_page_id),
    INDEX fp_quality_page (fp_quality,fp_page_id)
  ) /*$wgDBTableOptions*/;
  
  -- Migrate old page_ext hacks over
  INSERT INTO /*$wgDBprefix*/flaggedpages (fp_page_id,fp_reviewed,fp_stable,fp_quality)
  SELECT page_id,page_ext_reviewed,page_ext_stable,page_ext_quality FROM /*$wgDBprefix*/page
  WHERE page_ext_stable IS NOT NULL;
  
  -- Leave the old fields for now
  ALTER TABLE /*$wgDBprefix*/page DROP INDEX ext_namespace_reviewed;
  