search

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

Add GenerateMissingIdentifiers maintenance script #13

Closed malberts closed 1 week ago

malberts commented 1 week ago

Closes https://github.com/ProfessionalWiki/PersistentPageIdentifiers/issues/5