MediaWiki extension that uses Colorbox