jenkins-bot has submitted this change and it was merged.
Change subject: Add revision list (SQL)
......................................................................
Add revision list (SQL)
* Let db admins specify which pages should be reviewed instead of
pure random choice.
* Step 1: Add SQL table
Change-Id: Ic63c984c3e4f10085c15552d34c1d4469a8cefdb
---
M MathSearch.hooks.php
A db/math_review_list.sql
2 files changed, 7 insertions(+), 0 deletions(-)
Approvals:
Physikerwelt: Looks good to me, approved
jenkins-bot: Verified
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: merged
Gerrit-Change-Id: Ic63c984c3e4f10085c15552d34c1d4469a8cefdb
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/MathSearch
Gerrit-Branch: master
Gerrit-Owner: Physikerwelt <[email protected]>
Gerrit-Reviewer: Dyiop <[email protected]>
Gerrit-Reviewer: Hcohl <[email protected]>
Gerrit-Reviewer: Physikerwelt <[email protected]>
Gerrit-Reviewer: Springle <[email protected]>
Gerrit-Reviewer: Whyameri <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
