[23:45:33] <SomeRandomDev>	 Does somebody know why phan is complaining in https://gerrit.wikimedia.org/r/c/mediawiki/core/+/1247184? It says that "$userText = $undoRev->getUser()?->getName();" cannot be null, even though RevisionRecord::getUser is nullable...
[23:46:09] <SomeRandomDev>	 In PS1/PS2 I tried "$userText = $undoRev->getUser()?->getName() ?? '';" and it failed with "PhanCoalescingNeverNull", so either I'm missing something, or phan doesn't support the null-safe operator?