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 <[email protected]>
Gerrit-Reviewer: Jkroll <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: Tobias Gritschacher <[email protected]>
Gerrit-Reviewer: WMDE-Fisch <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
