jenkins-bot has submitted this change and it was merged.
Change subject: Remove reference to dropped page_counter
......................................................................
Remove reference to dropped page_counter
I didn't see any use of it immediately, though maybe lsearchd is doing
something with it.
Bug: T94485
Change-Id: I93df3797ce30601b358f4adfe9b5a746f27e5840
---
M OAIRepo_body.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Chad: Looks good to me, approved
jenkins-bot: Verified
diff --git a/OAIRepo_body.php b/OAIRepo_body.php
index 2d1210c..947660a 100644
--- a/OAIRepo_body.php
+++ b/OAIRepo_body.php
@@ -731,7 +731,7 @@
'rev_user_text', 'rev_timestamp', 'page_restrictions',
'rev_minor_edit', 'rev_len', 'page_is_redirect',
'up_sequence',
'page_id', 'up_timestamp', 'up_action', 'up_page',
- 'page_len', 'page_touched', 'page_counter',
'page_latest',
+ 'page_len', 'page_touched', 'page_latest',
);
if ( $wgContentHandlerUseDB ) {
--
To view, visit https://gerrit.wikimedia.org/r/200742
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I93df3797ce30601b358f4adfe9b5a746f27e5840
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/OAI
Gerrit-Branch: master
Gerrit-Owner: MarkAHershberger <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
