diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2011-06-22 11:28:20 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2011-06-22 11:28:20 +0200 |
commit | 9db190c7e736ec8d063187d4241b59feaf7dc2d1 (patch) | |
tree | 46d1a0dee7febef5c2d57a9f7b972be16a163b3d /includes/filerepo/NullRepo.php | |
parent | 78677c7bbdcc9739f6c10c75935898a20e1acd9e (diff) |
update to MediaWiki 1.17.0
Diffstat (limited to 'includes/filerepo/NullRepo.php')
-rw-r--r-- | includes/filerepo/NullRepo.php | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/includes/filerepo/NullRepo.php b/includes/filerepo/NullRepo.php index 2bc61bde..d5a1ee03 100644 --- a/includes/filerepo/NullRepo.php +++ b/includes/filerepo/NullRepo.php @@ -1,4 +1,10 @@ <?php +/** + * File repository with no files. + * + * @file + * @ingroup FileRepo + */ /** * File repository with no files, for performance testing |