Page MenuHomeSoftware Heritage

Install DynamicPageList extension on the public wiki
Closed, MigratedEdits Locked

Event Timeline

vlorentz renamed this task from Install DynamicPageList on the public wiki to Install DynamicPageList extension on the public wiki.Jan 28 2020, 1:56 PM
vlorentz triaged this task as Normal priority.
vlorentz created this task.

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...

ardumont claimed this task.