maintenance/archives/patch-pp_sortkey.sql

   1 -- Add a 'sortkey' field to page_props so pages can be efficiently
   2 -- queried by the numeric value of a property.
   3
   4 ALTER TABLE /*_*/page_props
   5         ADD pp_sortkey float DEFAULT NULL;
   6
   7 CREATE UNIQUE INDEX /*i*/pp_propname_sortkey_page
   8         ON /*_*/page_props ( pp_propname, pp_sortkey, pp_page );