SessionManager: Ignore Session object destruction during global shutdown
[mediawiki.git] / includes / interwiki / 
treed9376244c2b2002cb0139253ef1a6f0bec18f4ab
drwxr-xr-x   ..
-rw-r--r-- 11929 Interwiki.php