https://www.mediawiki.org/wiki/Extension:DynamicPageList_(Wikimedia)
This will allow us to embed the list of internships on directly on this page: https://wiki.softwareheritage.org/wiki/Google_Summer_of_Code_2020#Research_internships
https://www.mediawiki.org/wiki/Extension:DynamicPageList_(Wikimedia)
This will allow us to embed the list of internships on directly on this page: https://wiki.softwareheritage.org/wiki/Google_Summer_of_Code_2020#Research_internships
Heads up.
Tried and failed.
mediawiki needs an update but it's currently the last version even in debian sid.
[Wed Jan 29 14:05:59.222662 2020] [proxy_fcgi:error] [pid 16848:tid 140462459442944] [client 128.93.67.36:53296] AH01071: Got error 'PHP message: PHP Fatal error: Uncaught ExtensionDependencyError: DynamicPageList is not compatible with the current MediaWiki core (version 1.31.6), it requires: >= 1.32.0.\n in /usr/share/mediawiki/includes/registration/ExtensionRegistry.php:278\nStack trace:\n#0 /usr/share/mediawiki/includes/registration/ExtensionRegistry.php(158): ExtensionRegistry->readFromQueue(Array)\n#1 /usr/share/mediawiki/includes/Setup.php(116): ExtensionRegistry->loadFromQueue()\n#2 /usr/share/mediawiki/includes/WebStart.php(88): require_once('/usr/share/medi...')\n#3 /usr/share/mediawiki/index.php(39): require('/usr/share/medi...')\n#4 {main}\n thrown in /usr/share/mediawiki/includes/registration/ExtensionRegistry.php on line 278'
I'll try to install a corresponding version.
yes, that works, now need to do this in puppet dsl though...