diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2014-12-17 22:28:27 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2014-12-17 22:28:27 +0000 |
| commit | d34a6ca677399892237d94b139ed14e3e3e52077 (patch) | |
| tree | 65d514e88a616be0f0ed746142bc6b6476104309 /thumb.php | |
| parent | 626aede99bf83733d1aeb4dfd636129494d2888e (diff) | |
| parent | 12dec5d85d45a246c0bb400cab8ceb7651b80b9f (diff) | |
| download | mediawikicore-d34a6ca677399892237d94b139ed14e3e3e52077.tar.gz mediawikicore-d34a6ca677399892237d94b139ed14e3e3e52077.zip | |
Merge "Fix some stuttering in comments and documentation"
Diffstat (limited to 'thumb.php')
| -rw-r--r-- | thumb.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/thumb.php b/thumb.php index 6c935c14f425..a972b2167742 100644 --- a/thumb.php +++ b/thumb.php @@ -262,7 +262,7 @@ function wfStreamThumb( array $params ) { return; } - // For 404 handled thumbnails, we only use the the base name of the URI + // For 404 handled thumbnails, we only use the base name of the URI // for the thumb params and the parent directory for the source file name. // Check that the zone relative path matches up so squid caches won't pick // up thumbs that would not be purged on source file deletion (bug 34231). |