Does anyone have a copy of the Dice extension? The download link is dead at https://www.mediawiki.org/wiki/Extension:Dice
It looks like they were going to mirror it, but I'm not sure that ever happened: https://github.com/wikimedia/mediawiki-extensions-Dice Thanks. _______________________________________________ MediaWiki-l mailing list To unsubscribe, go to: https://lists.wikimedia.org/mailman/listinfo/mediawiki-l
