View source for MediaWiki:Revdelete-radio-set