I could use a review on Gerrit 113525 (https://gerrit.wikimedia.org/r/#/c/113525/), "Store page_id in logging table for deletions and make queryable". If you can look at it, I'd appreciate it.

Basically, it logs the page_id for deleted pages.

Before, it generally did not return a page_id for deleted pages from the log API. The exception was if the page existed at query-time. However, this was the ID for the *current* page, not the one actually deleted.

Besides fixing the API, this means of course it's also in the logging table itself, which will help with anyone using that table for analysis.

Thanks,

Matt Flaschen