Merge "Add pp_propname_page index to page_props"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 25 Feb 2013 22:54:48 +0000 (22:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 25 Feb 2013 22:54:48 +0000 (22:54 +0000)
commited4db4af0a23379be7b452494a0e20c07458f6c0
tree3f3e43e6b1f89529a9c437d37c6f7756039b4630
parent8debd7b5cdd1ad6f6723e40105c38248ed084221
parentbc4c2ef32d70162b46506bdcbf5320fff8265353
Merge "Add pp_propname_page index to page_props"
includes/installer/MysqlUpdater.php
includes/installer/PostgresUpdater.php
maintenance/postgres/tables.sql