Copyright for mediawiki-extensions source package in Maverick