From 310682512ee949817cc8777747d7c49cf7030214 Mon Sep 17 00:00:00 2001 From: Andrew Garrett Date: Thu, 15 Feb 2007 11:18:47 +0000 Subject: [PATCH] Fix an earlier commit - I forgot to put pr_id in updaters.inc --- maintenance/updaters.inc | 1 + 1 file changed, 1 insertion(+) diff --git a/maintenance/updaters.inc b/maintenance/updaters.inc index 99cd39c5d0..7890110ca5 100644 --- a/maintenance/updaters.inc +++ b/maintenance/updaters.inc @@ -67,6 +67,7 @@ $wgNewFields = array( array( 'user', 'user_newpass_time','patch-user_newpass_time.sql' ), array( 'user', 'user_editcount', 'patch-user_editcount.sql' ), array( 'logging', 'log_id', 'patch-log_id.sql' ), + array( 'page_restrictions', 'pr_id', 'patch-page_restrictions_sortkey.sql' ), ); function rename_table( $from, $to, $patch ) { -- 2.20.1