PHP 8.4.1 Released!

Configuración en tiempo de ejecución

El comportamiento de estas funciones se ve afectado por la configuración de php.ini.

Opciones de Configuración Misc.
Nombre Por defecto Cambiable Historial de cambios
ignore_user_abort "0" INI_ALL  
highlight.string "#DD0000" INI_ALL  
highlight.comment "#FF8000" INI_ALL  
highlight.keyword "#007700" INI_ALL  
highlight.bg "#FFFFFF" INI_ALL Removed in PHP 5.4.0.
highlight.default "#0000BB" INI_ALL  
highlight.html "#000000" INI_ALL  
browscap NULL INI_SYSTEM  
Para más detalles y definiciones de los modos de INI_*, vea Dónde se puede realizar un ajuste de configuración.

He aquí una breve explicación de las directivas de configuración.

ignore_user_abort boolean

false por defecto. Si se cambia a true los scripts no finalizarán después de que un cliente aborte su conexión.

Véase también ignore_user_abort().

highlight.bg string
highlight.comment string
highlight.default string
highlight.html string
highlight.keyword string
highlight.string string

Los colores para el modo Highlighting. Cualquier cosa que sea aceptable en <font color="??????"> funcionará.

browscap string

El nombre (p.ej.: browscap.ini) y la localización del archivo de aptitudes del navegador. Véase también get_browser().

add a note

User Contributed Notes 3 notes

up
2
Nico
6 years ago
To pass more than one css rule, but also a class, an id, or any html attribute to highlighted element, we can escape a quote to close the inline styling:

ini_set('highlight.string', '#F8F8F8 ; font-size:1.4em\" class=\'string\' ');
up
-2
Eric
4 years ago
*** Additions to the previous message ***

To change the style directly from a CSS file, it is recommended to only go through classes instead of hard-coding it.

<?php

// Create an array with default php functions

$functions = array("default", "html", "keyword", "string", "comment");

// Replace color code (ex: #FF8000) with class name (ex:"highlight-comment")

foreach ($functions as $value) {
ini_set("highlight.$value", "highlight-$value;");
}

$content = highlight_file($filename, true);
// or
$content = highlight_string($string, true);

// Convert style="color: highlight-function" into class="highlight-function" into $content
// It allows you to modify only the default functions

foreach ($functions as $value) {
$content = preg_replace("/style=\"color: highlight-$value;\"/", "class=\"highlight-$value\"", $content);
}

?>

And in the CSS file (for example) :

.highlight-html { color: #000000; }
.highlight-default { color: #0000bb; }
.highlight-keyword { color: #007700; font-weight: bold; }
.highlight-string { color: #dd0000; }
.highlight-comment { color: #ff8000; }
up
-4
Eric
4 years ago
To change the style directly from a CSS file, it is recommended to only go through classes instead of hard-coding it.

<?php

$functions
= array("default", "html", "keyword", "string", "comment");

foreach (
$functions as $value) {
ini_set("highlight.$value", "highlight-$value;");
}

?>

And in the CSS file (for example) :

.highlight-html { color: #000000; }
.highlight-default { color: #0000bb; }
.highlight-keyword { color: #007700; font-weight: bold; }
.highlight-string { color: #dd0000; }
.highlight-comment { color: #ff8000; }
To Top