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 <<<HTML
+<!DOCTYPE html>
 <html>
 <title>Diff changes</title>
+<meta charset="UTF-8"/>
 <style>
 body {
        font-family: sans-serif;

-- 
To view, visit https://gerrit.wikimedia.org/r/370769
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I2863d7fee812c1303fa3f54c337fd220908cf9bb
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/php/wikidiff2
Gerrit-Branch: master
Gerrit-Owner: MaxSem <maxsem.w...@gmail.com>
Gerrit-Reviewer: Jkroll <johannes.kr...@wikimedia.de>
Gerrit-Reviewer: Krinkle <krinklem...@gmail.com>
Gerrit-Reviewer: Tobias Gritschacher <tobias.gritschac...@wikimedia.de>
Gerrit-Reviewer: WMDE-Fisch <christoph.jau...@wikimedia.de>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to