Re: [MediaWiki-l] Dice extension