Merge "Change secure login to use a user preference"
[mediawiki.git] / includes / externalstore / 
treeacdbd11a4af40e0e5a2a8d8cd03266b5e32e595e
drwxr-xr-x   ..
-rw-r--r-- 7641 ExternalStore.php
-rw-r--r-- 8842 ExternalStoreDB.php
-rw-r--r-- 1330 ExternalStoreHttp.php
-rw-r--r-- 2320 ExternalStoreMedium.php
-rw-r--r-- 3457 ExternalStoreMwstore.php