| Index: trunk/phase3/maintenance/updaters.inc |
| — | — | @@ -127,6 +127,8 @@ |
| 128 | 128 | array( 'do_oldimage_user_index' ), |
| 129 | 129 | array( 'add_field', 'archive', 'ar_page_id', 'patch-archive-page_id.sql'), |
| 130 | 130 | array( 'add_field', 'image', 'img_sha1', 'patch-img_sha1.sql' ), |
| | 131 | + |
| | 132 | + // 1.12 |
| 131 | 133 | array( 'add_table', 'protected_titles', 'patch-protected_titles.sql' ), |
| 132 | 134 | |
| 133 | 135 | // 1.13 |
| — | — | @@ -1157,7 +1159,7 @@ |
| 1158 | 1160 | echo "...rev_parent_id column already populated.\n"; |
| 1159 | 1161 | return; |
| 1160 | 1162 | } |
| 1161 | | - require_once( 'populateParentId.inc' ); |
| | 1163 | + require_once( 'populateParentId.php' ); |
| 1162 | 1164 | } |
| 1163 | 1165 | |
| 1164 | 1166 | function |