https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #38 from Gerrit Notification Bot gerritad...@wikimedia.org ---
Change 113525 merged by jenkins-bot:
Store page_id in logging table for deletions and make queryable
https://gerrit.wikimedia.org/r/113525
--
You are receiving this
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
Matthew Flaschen mflasc...@wikimedia.org changed:
What|Removed |Added
Status|PATCH_TO_REVIEW |RESOLVED
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #37 from Matthew Flaschen mflasc...@wikimedia.org ---
I no longer consider this a draft, and would appreciate reviews. The commit
should explain itself pretty well in the commit message and release notes, but
here are a couple
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
Matthew Flaschen mflasc...@wikimedia.org changed:
What|Removed |Added
Assignee|wikibugs-l@lists.wikimedia.
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #32 from Gerrit Notification Bot gerritad...@wikimedia.org ---
Change 113523 had a related patch set uploaded by leucosticte:
Implement way to get the ID of a deleted page from deletion logs.
WikiPage::doDeleteArticleReal will tell
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
Gerrit Notification Bot gerritad...@wikimedia.org changed:
What|Removed |Added
Status|REOPENED
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #33 from Matthew Flaschen mflasc...@wikimedia.org ---
I just assigned this to myself today, and I've been working on it. In the
future, please coordinate.
--
You are receiving this mail because:
You are on the CC list for the
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
Nathan Larson nathanlarson3...@gmail.com changed:
What|Removed |Added
CC|
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #35 from Gerrit Notification Bot gerritad...@wikimedia.org ---
Change 113523 abandoned by leucosticte:
Implement way to get the ID of a deleted page from deletion logs.
WikiPage::doDeleteArticleReal will tell
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #36 from Gerrit Notification Bot gerritad...@wikimedia.org ---
Change 113525 had a related patch set uploaded by Mattflaschen:
WIP: Store the page_id in the logging table for deletions.
https://gerrit.wikimedia.org/r/113525
--
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
Matthew Flaschen mflasc...@wikimedia.org changed:
What|Removed |Added
Summary|No way to get the ID of a |No way to
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
Aaron Halfaker aaron.halfa...@gmail.com changed:
What|Removed |Added
CC|
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
Sumana Harihareswara suma...@panix.com changed:
What|Removed |Added
CC|
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
Sumana Harihareswara suma...@panix.com changed:
What|Removed |Added
Keywords||need-review
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
Mark A. Hershberger m...@everybody.org changed:
What|Removed |Added
AssignedTo|roan.katt...@gmail.com
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
John Mark Vandenberg jay...@gmail.com changed:
What|Removed |Added
CC|
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
Reedy s...@reedyboy.net changed:
What|Removed |Added
Blocks||27810
--
Configure bugmail:
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #27 from Roan Kattouw roan.katt...@gmail.com 2010-12-02 13:58:13
UTC ---
(In reply to comment #26)
Created attachment 7882 [details]
Partial patch: records old page_id into log_page on page deletions
This is a quick patch
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #13 from Roan Kattouw roan.katt...@gmail.com 2010-12-01 19:16:54
UTC ---
(In reply to comment #12)
It is stored in ar_page_id as far as I am aware.
There is no such key in the response array.
He meant the ar_page_id field in
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #14 from superyet...@yahoo.com 2010-12-01 19:21:16 UTC ---
(In reply to comment #13)
(In reply to comment #12)
It is stored in ar_page_id as far as I am aware.
There is no such key in the response array.
He meant the
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #15 from Brion Vibber br...@pobox.com 2010-12-01 19:27:52 UTC ---
(In reply to comment #14)
The topic is related to an API request, so there is no need to say ar_page_id
stores it since it is unreachable.
It's actually a very
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #16 from Roan Kattouw roan.katt...@gmail.com 2010-12-01 19:31:22
UTC ---
(In reply to comment #15)
There may be multiple past page IDs that have belonged to a given title. In
fact, the same deleted page ID may be associated with
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #17 from Brion Vibber br...@pobox.com 2010-12-01 19:48:00 UTC ---
A good use case would be performing cleanup on a page that was deleted without
worrying about accidentally deleting a different page of the same name, since
something
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #20 from superyet...@yahoo.com 2010-12-01 20:43:29 UTC ---
(In reply to comment #15)
(In reply to comment #14)
The topic is related to an API request, so there is no need to say
ar_page_id
stores it since it is unreachable.
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #21 from superyet...@yahoo.com 2010-12-01 20:47:01 UTC ---
(In reply to comment #19)
(In reply to comment #18)
Can you answer my previous question that if there is a logical reason why a
defunct pageid (0 for deleted pages) is
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #22 from Bryan Tong Minh bryan.tongm...@gmail.com 2010-12-01
21:01:33 UTC ---
(In reply to comment #20)
(In reply to comment #15)
(In reply to comment #14)
The topic is related to an API request, so there is no need to say
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #23 from superyet...@yahoo.com 2010-12-01 21:14:48 UTC ---
(In reply to comment #22)
(In reply to comment #20)
(In reply to comment #15)
(In reply to comment #14)
The topic is related to an API request, so there is no need
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
superyet...@yahoo.com changed:
What|Removed |Added
Severity|normal |critical
--
Configure
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
Reedy s...@reedyboy.net changed:
What|Removed |Added
Status|REOPENED|RESOLVED
Resolution|
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
Brion Vibber br...@pobox.com changed:
What|Removed |Added
Status|RESOLVED|REOPENED
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #26 from Brion Vibber br...@pobox.com 2010-12-01 21:52:19 UTC ---
Created attachment 7882
-- https://bugzilla.wikimedia.org/attachment.cgi?id=7882
Partial patch: records old page_id into log_page on page deletions
This is a quick
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #1 from superyet...@yahoo.com 2010-11-30 16:26:22 UTC ---
Any update?
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
--- You are receiving this mail because: ---
You are on the CC list for the
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
Roan Kattouw roan.katt...@gmail.com changed:
What|Removed |Added
Status|NEW |RESOLVED
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
superyet...@yahoo.com changed:
What|Removed |Added
Status|RESOLVED|REOPENED
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
Roan Kattouw roan.katt...@gmail.com changed:
What|Removed |Added
Status|REOPENED|RESOLVED
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
superyet...@yahoo.com changed:
What|Removed |Added
Status|RESOLVED|REOPENED
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #6 from Roan Kattouw roan.katt...@gmail.com 2010-11-30 17:03:02
UTC ---
(In reply to comment #5)
You do not seem to get what I mean here? The name of the deleted page is
included in the API response, but pageID (now old) is not.
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #7 from superyet...@yahoo.com 2010-11-30 17:08:09 UTC ---
(In reply to comment #6)
(In reply to comment #5)
You do not seem to get what I mean here? The name of the deleted page is
included in the API response, but pageID (now
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #8 from Roan Kattouw roan.katt...@gmail.com 2010-11-30 17:47:20
UTC ---
(In reply to comment #7)
I need the pageID as my logging script checks to see if a certain page is
deleted and I do not prefer to use pagenames for
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #9 from superyet...@yahoo.com 2010-11-30 17:56:35 UTC ---
(In reply to comment #8)
(In reply to comment #7)
I need the pageID as my logging script checks to see if a certain page is
deleted and I do not prefer to use pagenames
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
Bryan Tong Minh bryan.tongm...@gmail.com changed:
What|Removed |Added
Status|REOPENED|RESOLVED
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
Victor Vasiliev vasi...@gmail.com changed:
What|Removed |Added
Status|RESOLVED|REOPENED
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
--- Comment #12 from superyet...@yahoo.com 2010-11-30 23:04:45 UTC ---
(In reply to comment #11)
(In reply to comment #10)
(In reply to comment #9)
(In reply to comment #8)
(In reply to comment #7)
I need the pageID as my logging
https://bugzilla.wikimedia.org/show_bug.cgi?id=26122
Reedy s...@reedyboy.net changed:
What|Removed |Added
Version|1.16.0beta2 |unspecified
44 matches
Mail list logo