Don't try to auto-create users when MW_NO_SESSION is defined
[mediawiki.git] / includes / context / 
tree83cadc1e455b0e09c45d6c0c6f0b35eb901fe3e0
drwxr-xr-x   ..
-rw-r--r-- 4342 ContextSource.php
-rw-r--r-- 6567 DerivativeContext.php
-rw-r--r-- 4381 IContextSource.php
-rw-r--r-- 1753 MutableContext.php
-rw-r--r-- 17300 RequestContext.php