Physikerwelt has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/259646

Change subject: Add revision list
......................................................................

Add revision list

* Let db admins specify which pages should be reviewed instead of
 pure random choice

Change-Id: Ic63c984c3e4f10085c15552d34c1d4469a8cefdb
---
M MathSearch.hooks.php
A db/math_review_list.sql
2 files changed, 7 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/MathSearch 
refs/changes/46/259646/1

diff --git a/MathSearch.hooks.php b/MathSearch.hooks.php
index cbc00ed..179b3b5 100644
--- a/MathSearch.hooks.php
+++ b/MathSearch.hooks.php
@@ -42,6 +42,7 @@
                                        $wmcDir . 
"math_wmc_assessed_formula.sql" );
                                $updater->addExtensionTable( 
'math_wmc_assessed_revision',
                                        $wmcDir . 
"math_wmc_assessed_revision.sql" );
+                               $updater->addExtensionTable( 
'math_review_list', "${wmcDir}math_review_list.sql" );
                        }
                        if ( $updater->tableExists( 'mathlatexml' ) ) {
                                // temporary workaround for T117659
diff --git a/db/math_review_list.sql b/db/math_review_list.sql
new file mode 100644
index 0000000..a0ac840
--- /dev/null
+++ b/db/math_review_list.sql
@@ -0,0 +1,6 @@
+CREATE TABLE /*_*/math_review_list (
+  revision_id INT(11)     NOT NULL,
+  anchor      VARCHAR(50) NOT NULL,
+  priority    TINYINT(4)  NOT NULL,
+  UNIQUE KEY ix_math_rev_list (revision_id, anchor)
+) /*$wgDBTableOptions*/;
\ No newline at end of file

-- 
To view, visit https://gerrit.wikimedia.org/r/259646
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ic63c984c3e4f10085c15552d34c1d4469a8cefdb
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MathSearch
Gerrit-Branch: master
Gerrit-Owner: Physikerwelt <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to