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 /includes/parser/CoreParserFunctions.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 'includes/parser/CoreParserFunctions.php')
| -rw-r--r-- | includes/parser/CoreParserFunctions.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/parser/CoreParserFunctions.php b/includes/parser/CoreParserFunctions.php index 6f19a2306523..e820fe2bd2b8 100644 --- a/includes/parser/CoreParserFunctions.php +++ b/includes/parser/CoreParserFunctions.php @@ -111,7 +111,7 @@ class CoreParserFunctions { $pref = $parser->getOptions()->getDateFormat(); - // Specify a different default date format other than the the normal default + // Specify a different default date format other than the normal default // if the user has 'default' for their setting if ( $pref == 'default' && $defaultPref ) { $pref = $defaultPref; |