ProfessionalWiki / PersistentPageIdentifiers

MediaWiki extension that adds persistent identifiers to wiki pages
https://professional.wiki/en/extension/persistent-page-identifiers
GNU General Public License v2.0
1 stars 0 forks source link

Implement maintenance script logic #25

Closed malberts closed 1 week ago

malberts commented 1 week ago

Follow-up to:

Depends on:

AC:

malberts commented 1 week ago

@JeroenDeDauw Should we implement some kind of batching/count limit? Or a timeout?

This script is not supposed to run regularly, so perhaps the initial implementation can just run forever and be stopped or restarted manually?