changed to use MediaWiki command line parser.