Not strongly opinionated, but for posterity purposes it sounds better to capture the event rather than not emit it. So dumb that page_ids get set to 0 when a page is deleted, but ooohhhh well. I think we should modify the schema to allow 0. That will also be a simpler change.

Isn't the better question here: how does the event affect the page? I.e. if the page has already been deleted by the time the event fires, is it still taken into account? In the same vein, because the page is deleted by the time the event enters the EventBus pipeline, would any subscribers to the event actually be able to do something with it, given that MW would not respond to any requests for the given title? If the event itself does not affect anything, then I'd vote for keeping the requirement and keeping irrelevant events out of the pipeline.

Change 339024 had a related patch set uploaded (by Ppchelko):
Use LinksUpdate member for page_id

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

@mobrovac So, I've found the way to get that original page_id for the page (see Gerrit) patch. On one hand, I agree that firing an event for a deleted page might not be useful, but just discarding it seems a bit scary. We are not really sure what properties might've been changed and whether it's 100% safe to discard it.. I'm on the edge here..

What if the page is deleted, the properties are changed, and then later the page is restored?

In T158702#3044561, @Ottomata wrote:

What if the page is deleted, the properties are changed, and then later the page is restored?

Yes, that is my question too: will the page pros event still affect it in MW or not? We don't seem to know for sure, so let's investigate?

In T158702#3044560, @Pchelolo wrote:

@mobrovac So, I've found the way to get that original page_id for the page (see Gerrit) patch. On one hand, I agree that firing an event for a deleted page might not be useful, but just discarding it seems a bit scary. We are not really sure what properties might've been changed and whether it's 100% safe to discard it.. I'm on the edge here..

Oh, cool @Pchelolo ! But still, I think we need to answer the above question before any action is taken.

In T158702#3044563, @mobrovac wrote:

In T158702#3044561, @Ottomata wrote:

What if the page is deleted, the properties are changed, and then later the page is restored?

Yes, that is my question too: will the page pros event still affect it in MW or not? We don't seem to know for sure, so let's investigate?

Hm, it seems the action will be taken. I don't see any code that prevents the DB writes from happening if the page was deleted, and it's not quite easy to test..

We are not really sure what properties might've been changed and whether it's 100% safe to discard it

...

Hm, it seems the action will be taken

Even if it is safe to discard it, we probably shouldn't, especially if we can get the original page_id without much fuss. This may have implications for the MW History project if we ever decide to augment that dataset with live events. So yaaa, let's keep it! :)

Change 339024 merged by jenkins-bot:
[mediawiki/extensions/EventBus] Use LinksUpdate member for page_id

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

Patch merged. Moving to 'done' until it gets deployed.