time.php: add DOCTYPE
Summary: `<!DOCTYPE html>`, a good thing to do ™️. Signed-off-by: Yongmin Hong <revi@omglol.email> Test Plan: load the page in browser. Reviewers: O1 revi & automations, revi Reviewed By: O1 revi & automations, revi Differential Revision: https://issuetracker.revi.xyz/D82
This commit is contained in:
parent
d75d8cf807
commit
08863ae041
2 changed files with 5 additions and 1 deletions
5
.arclint
5
.arclint
|
@ -32,7 +32,10 @@
|
||||||
},
|
},
|
||||||
"text": {
|
"text": {
|
||||||
"type": "text",
|
"type": "text",
|
||||||
"text.max-line-length": 80
|
"text.max-line-length": 80,
|
||||||
|
"severity": {
|
||||||
|
"2": "advice"
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
1
time.php
1
time.php
|
@ -1,3 +1,4 @@
|
||||||
|
<!DOCTYPE html>
|
||||||
<html lang="en" prefix="og: https://ogp.me/ns#">
|
<html lang="en" prefix="og: https://ogp.me/ns#">
|
||||||
<head>
|
<head>
|
||||||
<title>
|
<title>
|
||||||
|
|
Loading…
Reference in a new issue