[MediaWiki-commits] [Gerrit] mediawiki...wikidiff2[master]: test.php: add doctype and charset

2017-08-09 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/370769 )

Change subject: test.php: add doctype and charset
..


test.php: add doctype and charset

Change-Id: I2863d7fee812c1303fa3f54c337fd220908cf9bb
---
M DiffTest/test.php
1 file changed, 2 insertions(+), 0 deletions(-)

Approvals:
  Krinkle: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/DiffTest/test.php b/DiffTest/test.php
index a405811..a77c42c 100644
--- a/DiffTest/test.php
+++ b/DiffTest/test.php
@@ -19,8 +19,10 @@
 } );
 
 echo <<
 
 Diff changes
+

[MediaWiki-commits] [Gerrit] mediawiki...wikidiff2[master]: test.php: add doctype and charset

2017-08-08 Thread MaxSem (Code Review) 
MaxSem has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/370769 )

Change subject: test.php: add doctype and charset
..

test.php: add doctype and charset

Change-Id: I2863d7fee812c1303fa3f54c337fd220908cf9bb
---
M DiffTest/test.php
1 file changed, 2 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/php/wikidiff2 
refs/changes/69/370769/1

diff --git a/DiffTest/test.php b/DiffTest/test.php
index a405811..dc4736e 100644
--- a/DiffTest/test.php
+++ b/DiffTest/test.php
@@ -19,8 +19,10 @@
 } );
 
 echo <<
 
 Diff changes
+