From abababc57a1de65f1defb5b98184715343e9db2e Mon Sep 17 00:00:00 2001 From: Daku Date: Thu, 19 May 2016 16:50:05 +0100 Subject: [PATCH] use 
 instead of  since it's been deprecated
 since HTML2 SEE:
 https://developer.mozilla.org/en-US/docs/Web/HTML/Element/plaintext

---
 install.php | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/install.php b/install.php
index 595a2e79..25dd0dd1 100644
--- a/install.php
+++ b/install.php
@@ -65,7 +65,7 @@ date_default_timezone_set('UTC');
 		<script type="text/javascript" src="lib/vendor/js/jquery-1.12.3.min.js"></script>
 	</head>
 	<body>
-<?php if(false) { ?>
+<?php if(FALSE) { ?>
 		<div id="installer">
 			<h1>Install Error</h1>
 			<div class="container">
@@ -77,8 +77,7 @@ date_default_timezone_set('UTC');
 				</p>
 			</div>
 		</div>
-		<div style="display: none;">
-			<PLAINTEXT>
+		<pre style="display:none">
 <?php }
 assert_options(ASSERT_ACTIVE, 1);
 assert_options(ASSERT_BAIL, 1);