Fix IDs generation

[kghbln]

Setup

• MediaWiki 1.39.12 (87a1f32) 2025-06-05T00:29:44
• PHP 8.1.2-1ubuntu2.21 (apache2handler)
• MariaDB 10.6.21-MariaDB-0ubuntu0.22.04.2
• Persistent Page Identifiers 1.1.0 (71c6cf0) 2025-05-19T14:11:33

Issue

• https://theaterencyclopedie.nl/w/index.php?title=Eigenschap:Premieredatum&action=info Identifier available, generated with maintenance script
• https://theaterencyclopedie.nl/w/index.php?title=Eigenschap:Heeft_TheaterEncyclopedie_pagina_PID&action=info Identifier missing, property created after the maintenance script run.

[malberts]

Is this only happening in the Property namespace, or is it missing for other new pages too?
And is this happening with all new Properties or just this one/some?

[JeroenDeDauw]

Presumably this is either an issue in PPIDs with namespace handling, or an SMW issue where it overrides/removes page props set by other extensions

[kghbln]

I created new pages in the template, form, category, reactie (custom), concept, and even the property namespace, and was unable to recreate the issue.

On the property without an identifier, they did some moving along the way https://theaterencyclopedie.nl/w/index.php?title=Eigenschap:Heeft_TheaterEncyclopedie_pagina_PID&action=history. However, when moving a newly created property, it had an identifier at all times, and it was not discarded when moving.

Still, I suspect some namespace handling issue in connection with SMW as Jeroen does.

[malberts]

However, when moving a newly created property, it had an identifier at all times, and it was not discarded when moving.

The moving might have something to do with this. I wonder if there is a special move use case that causes a problem.

The page ID's are different here, and the persistent ID is linked to the page id:

• 728091 - https://theaterencyclopedie.nl/w/index.php?title=Eigenschap:Heeft_TheaterEncyclopedie_productie_PID&action=info
• 727357 - https://theaterencyclopedie.nl/w/index.php?title=Eigenschap:Heeft_TheaterEncyclopedie_pagina_PID&action=info

Per the PPID API:
https://theaterencyclopedie.nl/w/rest.php/persistent-page-identifiers/v1/pages?ids=727357|728091

The "original" page (which is now the redirect page) still has the old persistent ID.

[kghbln]

I generated the missing ID with GenerateMissingIdentifiers.php. However, the script told me that a total of 35 IDs were missing. Is there a way to query the database and see which 35 IDs were generated?

php maintenance/GenerateMissingIdentifiers.php
Generating persistent ids for batch of 35 pages
Generated 35 persistent IDs

[JeroenDeDauw]

The issue seems to be missing handling of page moves. A quick check of the code did not dissuade me from that. General issue now tracked by

• Ensure PPIDs are retained on page move #71
• Ensure PPIDs are retained on page deletion + restoration #72

[malberts]

Is there a way to query the database and see which 35 IDs were generated

No, we track only the MW ID linked to the PPID. There is no timestamp to query recent changes.

We could just make the maintenance script print the page IDs. Might get spammy for the first run on large wikis, but after that it should be fine.

[JeroenDeDauw]

Here is a quick change that outputs the IDs. Manually tested: #73

[JeroenDeDauw]

We currently have no idea how the issue is occurring. It's not simple page moves. We need to find out what is leading to pages without PPIDs to resolve the issue.

[kghbln]

Here is a quick change that outputs the IDs

We could introduce either a --verbose or --quiet flag, though the former is probably preferable. Still, this is a request for improvement, albeit not strictly required.

[kghbln]

We currently have no idea how the issue is occurring. It's not simple page moves. We need to find out what is leading to pages without PPIDs to resolve the issue.

In other words, we wait another fortnight and rerun the script to see if this sheds some light.

EDIT I just remembered that Meemoo is also using the extension for their wiki. So far, they have not run into this issue. They are by far not as intense in their wiki activity, though.

hoffmeyer@hoffmeyer:/../w$ php extensions/PersistentPageIdentifiers/maintenance/GenerateMissingIdentifiers.php 
Done. Generated 0 persistent IDs

[kghbln]

I upgraded to dev-master and re-ran the ID generation script.

user@server:/../w$ php extensions/PersistentPageIdentifiers/maintenance/GenerateMissingIdentifiers.php
Done. Generated 0 persistent IDs

This means that the issue did not happen during the past five weeks. I will reopen in case the problem occurs again in the future.