I just upgraded Citizendium to PHP 8.x and MediaWiki 1.39.x . The developer had to make some slight changes to the code for this extension in order to make it work with PHP 8.x. Is there someone here who could update this extension for others so that it will be available when other sites need it? I can be reached at manager A T citizendium.org
