On it.

https://gerrit.wikimedia.org/r/#/c/35649/

That's a fix to get rid of the error, something is probably going wrong earlier though, as the user should never be null there.

This error is no longer occurring.

I'm not sure whether the change outside the extension that caused this error got rolled back, or whether the fix got deployed without an update on gerrit.

The fix has not been deployed I guess, since it has not been merged yet

The error is back now. We're going to start using the extension soon for new classes, so this bug really needs to get squashed.

My fix has still not been merged: https://gerrit.wikimedia.org/r/#/c/35649/

Merged it

Just saw this in the error logs, so is still occuring on th site

(In reply to comment #9)

Just saw this in the error logs, so is still occuring on th site

Server info welcome, in general. test2? Some other server?

Also see the deployment schedule at https://www.mediawiki.org/wiki/MediaWiki_1.21/Roadmap

I should probably elaborate on my last comment...

https://gerrit.wikimedia.org/r/#/c/35649/ was merged in time for wmf7.
wmf7 got deployed to test2 on January 2, see the roadmap link above.
If this still happens on test2.wp there's another bug.
For the deployment of wmf7 on other servers see the roadmap link above.

I cannot currently produce the bug on test2, but I also cannot currently produce it on en.wikipedia.org. I'm not sure what circumstances, exactly, make it happen.

It stopped occurring (for me, at least) soon after I reported it, and did not reappear for a while. Then it started happening again, and then stopped happening a week or so ago.