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

Use isset for repo check #54

Closed malberts closed 3 days ago

malberts commented 3 days ago

For https://github.com/ProfessionalWiki/PersistentPageIdentifiers/pull/49#discussion_r1846765293