Mediawiki CAS authentication plugin with some customizations for TESC.