Quoting Jaap Winius jwinius@umrk.nl:
Quoting svetlana svetlana@fastmail.com.au:
yes it is ?
... "Extension:Auth remoteuser" ... looks promising ...
See https://www.mediawiki.org/wiki/Extension:AutomaticREMOTE_USER
Success! That was pretty easy, actually. About the trickiest part was figuring out how to set the REMOTE_USER variable in my Apache configuration (a little after the mod-auth-kerb authentication section, of course):
SetEnv REMOTE_USER $REDIRECT_REMOTE_USER
This is possible after enabling the 'env' module for Apache. After that, it all worked in one go.
Thanks!
Jaap