Add pp_propname_page index to page_props
authorBrad Jorsch <bjorsch@wikimedia.org>
Wed, 16 Jan 2013 16:46:05 +0000 (11:46 -0500)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 21 Jan 2013 22:08:10 +0000 (22:08 +0000)
This adds an index to page_props to support looking up pages using a
particular property.

Change-Id: Iea778eb783e1d4a46fb0549dfd84915477cac5df


No differences found