A modified version of the CASAuth plugin found here: http://www.mediawiki.org/wiki/Extension:CASAuthentication