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/OutputPage.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/OutputPage.php')
-rw-r--r-- | includes/OutputPage.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/OutputPage.php b/includes/OutputPage.php index 24b9e46f42b0..411bb2e51a3d 100644 --- a/includes/OutputPage.php +++ b/includes/OutputPage.php @@ -1075,7 +1075,7 @@ class OutputPage extends ContextSource { } /** - * Set the page as printable, i.e. it'll be displayed with with all + * Set the page as printable, i.e. it'll be displayed with all * print styles included */ public function setPrintable() { |