diff options
Diffstat (limited to 'site')
-rw-r--r-- | site/contrib/index.php | 8 | ||||
-rw-r--r-- | site/download/index.php | 8 | ||||
-rw-r--r-- | site/functions.php | 16 | ||||
-rw-r--r-- | site/index.php | 8 |
4 files changed, 33 insertions, 7 deletions
diff --git a/site/contrib/index.php b/site/contrib/index.php index 524c101..713f62d 100644 --- a/site/contrib/index.php +++ b/site/contrib/index.php @@ -18,6 +18,7 @@ */ ?> <?php + ob_start(); include_once "../variables.php"; include_once "../functions.php"; ?> @@ -28,7 +29,7 @@ <meta name="viewport" content="width=device-width, initial-scale=1"> <style type="text/css"> -<?php include "../css/main.css"; ?> +<?php echo miniCss(file_get_contents("../css/main.css")); ?> </style> <title><?php echo gettext("Libreboot project maintainers"); ?></title> @@ -89,4 +90,7 @@ </body> </html> - +<?php + $strHtml = ob_get_clean(); + echo miniHtml($strHtml); +?>
\ No newline at end of file diff --git a/site/download/index.php b/site/download/index.php index 750e604..0abe97e 100644 --- a/site/download/index.php +++ b/site/download/index.php @@ -18,6 +18,7 @@ */ ?> <?php + ob_start(); include_once "../variables.php"; include_once "../functions.php"; ?> @@ -28,7 +29,7 @@ <meta name="viewport" content="width=device-width, initial-scale=1"> <style type="text/css"> -<?php include "../css/main.css"; ?> +<?php echo miniCss(file_get_contents("../css/main.css")); ?> </style> <title><?php echo gettext("Download libreboot"); ?></title> @@ -293,4 +294,7 @@ </body> </html> - +<?php + $strHtml = ob_get_clean(); + echo miniHtml($strHtml); +?>
\ No newline at end of file diff --git a/site/functions.php b/site/functions.php index fb023b9..b90a35e 100644 --- a/site/functions.php +++ b/site/functions.php @@ -18,7 +18,21 @@ */ /* Functions */ - + + /* Minified HTML output (note: needs work for <pre> tags) */ + function miniHtml($strHtml) { + return $strHtml = preg_replace( + array('/(\s)+/s', '/\>[^\S ]+/s', '/[^\S ]+\</s'), + array('\\1', '>', '<'), + $strHtml + ); + } + + /* Minified CSS output */ + function miniCss($strCss) { + return preg_replace("/\r|\n/", "", $strCss); + } + /* Generic function for showing a list of URLs */ function mirrorList($arrayMirrors,$strNotFoundMessage,$forIndexStart,$forIndexbelow) { diff --git a/site/index.php b/site/index.php index 246a327..5b82484 100644 --- a/site/index.php +++ b/site/index.php @@ -18,6 +18,7 @@ */ ?> <?php + ob_start(); include_once "variables.php"; include_once "functions.php"; ?> @@ -28,7 +29,7 @@ <meta name="viewport" content="width=device-width, initial-scale=1"> <style type="text/css"> -<?php include "css/main.css"; ?> +<?php echo miniCss(file_get_contents("css/main.css")); ?> </style> <title><?php echo gettext("Libreboot project"); ?></title> @@ -106,4 +107,7 @@ </body> </html> - +<?php + $strHtml = ob_get_clean(); + echo miniHtml($strHtml); +?>
\ No newline at end of file |