Make Profiler::$instance private and drop double underscores
[mediawiki.git] / includes / filerepo / 
treefdaca54ece13380c64990f0bdba0ed73f22edc90
drwxr-xr-x   ..
-rw-r--r-- 2522 FSRepo.php
-rw-r--r-- 56479 FileRepo.php
-rw-r--r-- 1023 FileRepoStatus.php
-rw-r--r-- 16115 ForeignAPIRepo.php
-rw-r--r-- 3361 ForeignDBRepo.php
-rw-r--r-- 2582 ForeignDBViaLBRepo.php
-rw-r--r-- 14733 LocalRepo.php
-rw-r--r-- 1175 NullRepo.php
-rw-r--r-- 1977 README
-rw-r--r-- 12225 RepoGroup.php
drwxr-xr-x - file