SessionManager: Ignore Session object destruction during global shutdown
[mediawiki.git] / includes / libs / eventrelayer / 
tree254afce4662bef93ad8acfd7e68532777fbec056
drwxr-xr-x   ..
-rw-r--r-- 1580 EventRelayer.php
-rw-r--r-- 997 EventRelayerNull.php