Merge "Make page tabs for redirects link to redirect pages"master
[mediawiki.git] / includes / libs / filebackend / fileop / 
tree56c199503f9d7767a6c8b7be7bf22ec656d55b33
drwxr-xr-x   ..
-rw-r--r-- 3789 CopyFileOp.php
-rw-r--r-- 2838 CreateFileOp.php
-rw-r--r-- 2597 DeleteFileOp.php
-rw-r--r-- 2711 DescribeFileOp.php
-rw-r--r-- 14375 FileOp.php
-rw-r--r-- 5040 FileStatePredicates.php
-rw-r--r-- 4249 MoveFileOp.php
-rw-r--r-- 1119 NullFileOp.php
-rw-r--r-- 3415 StoreFileOp.php