Fixed return type of getContentNamespaces()
[mediawiki.git] / includes / filerepo / file / 
tree50b0e01e6ca3d8ac6a5adf7a9fb0a4a374f050af
drwxr-xr-x   ..
-rw-r--r-- 10531 ArchivedFile.php
-rw-r--r-- 50499 File.php
-rw-r--r-- 8080 ForeignAPIFile.php
-rw-r--r-- 3070 ForeignDBFile.php
-rw-r--r-- 76891 LocalFile.php
-rw-r--r-- 10457 OldLocalFile.php
-rw-r--r-- 4985 UnregisteredLocalFile.php