Inspection of "sanitizer les URLs de redirection au cas ou (beauc..." - spip/SPIP - Measure and Improve Code Quality continuously with Scrutinizer

Completed

Push — master ( 17c999...0b8324 )

by cam

created 2019-07-16 11:14 UTC

Status

Indentation +145 added lines, -145 removed lines patch added patch discarded remove patch

@@ -17,7 +17,7 @@  discard block
 block discarded – undo
  **/
 
 if (!defined('_ECRIRE_INC_VERSION')) {
-	return;
+    return;
 }
 
 
@@ -38,122 +38,122 @@  discard block
 block discarded – undo
  * @param int $status Code de redirection (301 ou 302)
  **/
 function redirige_par_entete($url, $equiv = '', $status = 302) {
-	if (!in_array($status, array(301, 302))) {
-		$status = 302;
-	}
-
-	$url = trim(strtr($url, "\n\r", "  "));
-	# si l'url de redirection est relative, on la passe en absolue
-	if (!preg_match(",^(\w+:)?//,", $url)) {
-		include_spip("inc/filtres_mini");
-		$url = url_absolue($url);
-	}
-
-	if (defined('_AJAX') and _AJAX) {
-		$url = parametre_url($url, 'var_ajax_redir', 1, '&');
-	}
-
-	// ne pas laisser passer n'importe quoi dans l'url
-	$url = str_replace(array('<', '"'), array('&lt;', '&quot;'), $url);
-	$url = str_replace(array("\r", "\n", ' '), array('%0D', '%0A', '%20'), $url);
-	while (strpos($url, '%0A') !== false) {
-		$url = str_replace('%0A', '', $url);
-	}
-	// interdire les url inline avec des pseudo-protocoles :
-	if (
-		(preg_match(",data:,i", $url) and preg_match("/base64\s*,/i", $url))
-		or preg_match(",(javascript|mailto):,i", $url)
-	) {
-		$url = "./";
-	}
-
-	// Il n'y a que sous Apache que setcookie puis redirection fonctionne
-	include_spip('inc/cookie');
-	if ((!$equiv and !spip_cookie_envoye()) or (
-			   (strncmp("Apache", $_SERVER['SERVER_SOFTWARE'], 6) == 0)
-			or (stripos($_SERVER['SERVER_SIGNATURE'], 'Apache') !== false)
-			or function_exists('apache_getenv')
-			or defined('_SERVER_APACHE')
-		)
-	) {
-		@header("Location: " . $url);
-		$equiv = "";
-	} else {
-		@header("Refresh: 0; url=" . $url);
-		if (isset($GLOBALS['meta']['charset'])) {
-			@header("Content-Type: text/html; charset=" . $GLOBALS['meta']['charset']);
-		}
-		$equiv = "<meta http-equiv='Refresh' content='0; url=$url'>";
-	}
-	include_spip('inc/lang');
-	if ($status != 302) {
-		http_status($status);
-	}
-	echo '<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN">', "\n",
-	html_lang_attributes(), '
+    if (!in_array($status, array(301, 302))) {
+        $status = 302;
+    }
+
+    $url = trim(strtr($url, "\n\r", "  "));
+    # si l'url de redirection est relative, on la passe en absolue
+    if (!preg_match(",^(\w+:)?//,", $url)) {
+        include_spip("inc/filtres_mini");
+        $url = url_absolue($url);
+    }
+
+    if (defined('_AJAX') and _AJAX) {
+        $url = parametre_url($url, 'var_ajax_redir', 1, '&');
+    }
+
+    // ne pas laisser passer n'importe quoi dans l'url
+    $url = str_replace(array('<', '"'), array('&lt;', '&quot;'), $url);
+    $url = str_replace(array("\r", "\n", ' '), array('%0D', '%0A', '%20'), $url);
+    while (strpos($url, '%0A') !== false) {
+        $url = str_replace('%0A', '', $url);
+    }
+    // interdire les url inline avec des pseudo-protocoles :
+    if (
+        (preg_match(",data:,i", $url) and preg_match("/base64\s*,/i", $url))
+        or preg_match(",(javascript|mailto):,i", $url)
+    ) {
+        $url = "./";
+    }
+
+    // Il n'y a que sous Apache que setcookie puis redirection fonctionne
+    include_spip('inc/cookie');
+    if ((!$equiv and !spip_cookie_envoye()) or (
+                (strncmp("Apache", $_SERVER['SERVER_SOFTWARE'], 6) == 0)
+            or (stripos($_SERVER['SERVER_SIGNATURE'], 'Apache') !== false)
+            or function_exists('apache_getenv')
+            or defined('_SERVER_APACHE')
+        )
+    ) {
+        @header("Location: " . $url);
+        $equiv = "";
+    } else {
+        @header("Refresh: 0; url=" . $url);
+        if (isset($GLOBALS['meta']['charset'])) {
+            @header("Content-Type: text/html; charset=" . $GLOBALS['meta']['charset']);
+        }
+        $equiv = "<meta http-equiv='Refresh' content='0; url=$url'>";
+    }
+    include_spip('inc/lang');
+    if ($status != 302) {
+        http_status($status);
+    }
+    echo '<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN">', "\n",
+    html_lang_attributes(), '
 <head>',
-	$equiv, '
+    $equiv, '
 <title>HTTP ' . $status . '</title>
 ' . ((isset($GLOBALS['meta']['charset'])) ? '<meta http-equiv="Content-Type" content="text/html;charset=' . $GLOBALS['meta']['charset'] . '">' : '') . '
 </head>
 <body>
 <h1>HTTP ' . $status . '</h1>
 <a href="',
-	quote_amp($url),
-	'">',
-	_T('navigateur_pas_redirige'),
-	'</a></body></html>';
+    quote_amp($url),
+    '">',
+    _T('navigateur_pas_redirige'),
+    '</a></body></html>';
 
-	spip_log("redirige $status: $url");
+    spip_log("redirige $status: $url");
 
-	exit;
+    exit;
 }
 
 // http://code.spip.net/@redirige_formulaire
 function redirige_formulaire($url, $equiv = '', $format = 'message') {
-	if (!_AJAX
-		and !headers_sent()
-		and !_request('var_ajax')
-	) {
-		redirige_par_entete(str_replace('&amp;', '&', $url), $equiv);
-	} // si c'est une ancre, fixer simplement le window.location.hash
-	elseif ($format == 'ajaxform' and preg_match(',^#[0-9a-z\-_]+$,i', $url)) {
-		return array(
-			// on renvoie un lien masque qui sera traite par ajaxCallback.js
-			"<a href='$url' name='ajax_ancre' style='display:none;'>anchor</a>",
-			// et rien dans le message ok
-			''
-		);
-	} else {
-		// ne pas laisser passer n'importe quoi dans l'url
-		$url = str_replace(array('<', '"'), array('&lt;', '&quot;'), $url);
-
-		$url = strtr($url, "\n\r", "  ");
-		# en theorie on devrait faire ca tout le temps, mais quand la chaine
-		# commence par ? c'est imperatif, sinon l'url finale n'est pas la bonne
-		if ($url[0] == '?') {
-			$url = url_de_base() . $url;
-		}
-		$url = str_replace('&amp;', '&', $url);
-		spip_log("redirige formulaire ajax: $url");
-		include_spip('inc/filtres');
-		if ($format == 'ajaxform') {
-			return array(
-				// on renvoie un lien masque qui sera traite par ajaxCallback.js
-				'<a href="' . quote_amp($url) . '" name="ajax_redirect"  style="display:none;">' . _T('navigateur_pas_redirige') . '</a>',
-				// et un message au cas ou
-				'<br /><a href="' . quote_amp($url) . '">' . _T('navigateur_pas_redirige') . '</a>'
-			);
-		} else // format message texte, tout en js inline
-		{
-			return
-				// ie poste les formulaires dans une iframe, il faut donc rediriger son parent
-				"<script type='text/javascript'>if (parent.window){parent.window.document.location.replace(\"$url\");} else {document.location.replace(\"$url\");}</script>"
-				. http_img_pack('searching.gif', '')
-				. '<br />'
-				. '<a href="' . quote_amp($url) . '">' . _T('navigateur_pas_redirige') . '</a>';
-		}
-	}
+    if (!_AJAX
+        and !headers_sent()
+        and !_request('var_ajax')
+    ) {
+        redirige_par_entete(str_replace('&amp;', '&', $url), $equiv);
+    } // si c'est une ancre, fixer simplement le window.location.hash
+    elseif ($format == 'ajaxform' and preg_match(',^#[0-9a-z\-_]+$,i', $url)) {
+        return array(
+            // on renvoie un lien masque qui sera traite par ajaxCallback.js
+            "<a href='$url' name='ajax_ancre' style='display:none;'>anchor</a>",
+            // et rien dans le message ok
+            ''
+        );
+    } else {
+        // ne pas laisser passer n'importe quoi dans l'url
+        $url = str_replace(array('<', '"'), array('&lt;', '&quot;'), $url);
+
+        $url = strtr($url, "\n\r", "  ");
+        # en theorie on devrait faire ca tout le temps, mais quand la chaine
+        # commence par ? c'est imperatif, sinon l'url finale n'est pas la bonne
+        if ($url[0] == '?') {
+            $url = url_de_base() . $url;
+        }
+        $url = str_replace('&amp;', '&', $url);
+        spip_log("redirige formulaire ajax: $url");
+        include_spip('inc/filtres');
+        if ($format == 'ajaxform') {
+            return array(
+                // on renvoie un lien masque qui sera traite par ajaxCallback.js
+                '<a href="' . quote_amp($url) . '" name="ajax_redirect"  style="display:none;">' . _T('navigateur_pas_redirige') . '</a>',
+                // et un message au cas ou
+                '<br /><a href="' . quote_amp($url) . '">' . _T('navigateur_pas_redirige') . '</a>'
+            );
+        } else // format message texte, tout en js inline
+        {
+            return
+                // ie poste les formulaires dans une iframe, il faut donc rediriger son parent
+                "<script type='text/javascript'>if (parent.window){parent.window.document.location.replace(\"$url\");} else {document.location.replace(\"$url\");}</script>"
+                . http_img_pack('searching.gif', '')
+                . '<br />'
+                . '<a href="' . quote_amp($url) . '">' . _T('navigateur_pas_redirige') . '</a>';
+        }
+    }
 }
 
 /**
@@ -174,7 +174,7 @@  discard block
 block discarded – undo
  * @return void
  **/
 function redirige_url_ecrire($script = '', $args = '', $equiv = '') {
-	return redirige_par_entete(generer_url_ecrire($script, $args, true), $equiv);
+    return redirige_par_entete(generer_url_ecrire($script, $args, true), $equiv);
 }
 
 /**
@@ -189,49 +189,49 @@  discard block
 block discarded – undo
  **/
 function http_status($status) {
 
-	static $status_string = array(
-		200 => '200 OK',
-		204 => '204 No Content',
-		301 => '301 Moved Permanently',
-		302 => '302 Found',
-		304 => '304 Not Modified',
-		401 => '401 Unauthorized',
-		403 => '403 Forbidden',
-		404 => '404 Not Found',
-		503 => '503 Service Unavailable'
-	);
-
-	if (!empty($GLOBALS['REDIRECT_STATUS']) && $GLOBALS['REDIRECT_STATUS'] == $status) {
-		return;
-	}
-
-	$php_cgi = ($GLOBALS['flag_sapi_name'] and preg_match(",cgi,i", @php_sapi_name()));
-	if ($php_cgi) {
-		header("Status: " . $status_string[$status]);
-	} else {
-		header("HTTP/1.0 " . $status_string[$status]);
-	}
+    static $status_string = array(
+        200 => '200 OK',
+        204 => '204 No Content',
+        301 => '301 Moved Permanently',
+        302 => '302 Found',
+        304 => '304 Not Modified',
+        401 => '401 Unauthorized',
+        403 => '403 Forbidden',
+        404 => '404 Not Found',
+        503 => '503 Service Unavailable'
+    );
+
+    if (!empty($GLOBALS['REDIRECT_STATUS']) && $GLOBALS['REDIRECT_STATUS'] == $status) {
+        return;
+    }
+
+    $php_cgi = ($GLOBALS['flag_sapi_name'] and preg_match(",cgi,i", @php_sapi_name()));
+    if ($php_cgi) {
+        header("Status: " . $status_string[$status]);
+    } else {
+        header("HTTP/1.0 " . $status_string[$status]);
+    }
 }
 
 // Retourne ce qui va bien pour que le navigateur ne mette pas la page en cache
 // http://code.spip.net/@http_no_cache
 function http_no_cache() {
-	if (headers_sent()) {
-		spip_log("http_no_cache arrive trop tard");
-
-		return;
-	}
-	$charset = empty($GLOBALS['meta']['charset']) ? 'utf-8' : $GLOBALS['meta']['charset'];
-
-	// selon http://developer.apple.com/internet/safari/faq.html#anchor5
-	// il faudrait aussi pour Safari
-	// header("Cache-Control: post-check=0, pre-check=0", false)
-	// mais ca ne respecte pas
-	// http://www.w3.org/Protocols/rfc2616/rfc2616-sec14.html#sec14.9
-
-	header("Content-Type: text/html; charset=$charset");
-	header("Expires: 0");
-	header("Last-Modified: " . gmdate("D, d M Y H:i:s") . " GMT");
-	header("Cache-Control: no-cache, must-revalidate");
-	header("Pragma: no-cache");
+    if (headers_sent()) {
+        spip_log("http_no_cache arrive trop tard");
+
+        return;
+    }
+    $charset = empty($GLOBALS['meta']['charset']) ? 'utf-8' : $GLOBALS['meta']['charset'];
+
+    // selon http://developer.apple.com/internet/safari/faq.html#anchor5
+    // il faudrait aussi pour Safari
+    // header("Cache-Control: post-check=0, pre-check=0", false)
+    // mais ca ne respecte pas
+    // http://www.w3.org/Protocols/rfc2616/rfc2616-sec14.html#sec14.9
+
+    header("Content-Type: text/html; charset=$charset");
+    header("Expires: 0");
+    header("Last-Modified: " . gmdate("D, d M Y H:i:s") . " GMT");
+    header("Cache-Control: no-cache, must-revalidate");
+    header("Pragma: no-cache");
 }

Please login to merge, or discard this patch.

		@@ -17,7 +17,7 @@ discard block
		block discarded – undo
17	17	**/
18	18
19	19	if (!defined('_ECRIRE_INC_VERSION')) {
20		- return;
	20	+ return;
21	21	}
22	22
23	23
		@@ -38,122 +38,122 @@ discard block
		block discarded – undo
38	38	* @param int $status Code de redirection (301 ou 302)
39	39	**/
40	40	function redirige_par_entete($url, $equiv = '', $status = 302) {
41		- if (!in_array($status, array(301, 302))) {
42		- $status = 302;
43		- }
44		-
45		- $url = trim(strtr($url, "\n\r", " "));
46		- # si l'url de redirection est relative, on la passe en absolue
47		- if (!preg_match(",^(\w+:)?//,", $url)) {
48		- include_spip("inc/filtres_mini");
49		- $url = url_absolue($url);
50		- }
51		-
52		- if (defined('_AJAX') and _AJAX) {
53		- $url = parametre_url($url, 'var_ajax_redir', 1, '&');
54		- }
55		-
56		- // ne pas laisser passer n'importe quoi dans l'url
57		- $url = str_replace(array('<', '"'), array('<', '"'), $url);
58		- $url = str_replace(array("\r", "\n", ' '), array('%0D', '%0A', '%20'), $url);
59		- while (strpos($url, '%0A') !== false) {
60		- $url = str_replace('%0A', '', $url);
61		- }
62		- // interdire les url inline avec des pseudo-protocoles :
63		- if (
64		- (preg_match(",data:,i", $url) and preg_match("/base64\s*,/i", $url))
65		- or preg_match(",(javascript\|mailto):,i", $url)
66		- ) {
67		- $url = "./";
68		- }
69		-
70		- // Il n'y a que sous Apache que setcookie puis redirection fonctionne
71		- include_spip('inc/cookie');
72		- if ((!$equiv and !spip_cookie_envoye()) or (
73		- (strncmp("Apache", $_SERVER['SERVER_SOFTWARE'], 6) == 0)
74		- or (stripos($_SERVER['SERVER_SIGNATURE'], 'Apache') !== false)
75		- or function_exists('apache_getenv')
76		- or defined('_SERVER_APACHE')
77		- )
78		- ) {
79		- @header("Location: " . $url);
80		- $equiv = "";
81		- } else {
82		- @header("Refresh: 0; url=" . $url);
83		- if (isset($GLOBALS['meta']['charset'])) {
84		- @header("Content-Type: text/html; charset=" . $GLOBALS['meta']['charset']);
85		- }
86		- $equiv = "<meta http-equiv='Refresh' content='0; url=$url'>";
87		- }
88		- include_spip('inc/lang');
89		- if ($status != 302) {
90		- http_status($status);
91		- }
92		- echo '<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN">', "\n",
93		- html_lang_attributes(), '
	41	+ if (!in_array($status, array(301, 302))) {
	42	+ $status = 302;
	43	+ }
	44	+
	45	+ $url = trim(strtr($url, "\n\r", " "));
	46	+ # si l'url de redirection est relative, on la passe en absolue
	47	+ if (!preg_match(",^(\w+:)?//,", $url)) {
	48	+ include_spip("inc/filtres_mini");
	49	+ $url = url_absolue($url);
	50	+ }
	51	+
	52	+ if (defined('_AJAX') and _AJAX) {
	53	+ $url = parametre_url($url, 'var_ajax_redir', 1, '&');
	54	+ }
	55	+
	56	+ // ne pas laisser passer n'importe quoi dans l'url
	57	+ $url = str_replace(array('<', '"'), array('<', '"'), $url);
	58	+ $url = str_replace(array("\r", "\n", ' '), array('%0D', '%0A', '%20'), $url);
	59	+ while (strpos($url, '%0A') !== false) {
	60	+ $url = str_replace('%0A', '', $url);
	61	+ }
	62	+ // interdire les url inline avec des pseudo-protocoles :
	63	+ if (
	64	+ (preg_match(",data:,i", $url) and preg_match("/base64\s*,/i", $url))
	65	+ or preg_match(",(javascript\|mailto):,i", $url)
	66	+ ) {
	67	+ $url = "./";
	68	+ }
	69	+
	70	+ // Il n'y a que sous Apache que setcookie puis redirection fonctionne
	71	+ include_spip('inc/cookie');
	72	+ if ((!$equiv and !spip_cookie_envoye()) or (
	73	+ (strncmp("Apache", $_SERVER['SERVER_SOFTWARE'], 6) == 0)
	74	+ or (stripos($_SERVER['SERVER_SIGNATURE'], 'Apache') !== false)
	75	+ or function_exists('apache_getenv')
	76	+ or defined('_SERVER_APACHE')
	77	+ )
	78	+ ) {
	79	+ @header("Location: " . $url);
	80	+ $equiv = "";
	81	+ } else {
	82	+ @header("Refresh: 0; url=" . $url);
	83	+ if (isset($GLOBALS['meta']['charset'])) {
	84	+ @header("Content-Type: text/html; charset=" . $GLOBALS['meta']['charset']);
	85	+ }
	86	+ $equiv = "<meta http-equiv='Refresh' content='0; url=$url'>";
	87	+ }
	88	+ include_spip('inc/lang');
	89	+ if ($status != 302) {
	90	+ http_status($status);
	91	+ }
	92	+ echo '<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN">', "\n",
	93	+ html_lang_attributes(), '
94	94	<head>',
95		- $equiv, '
	95	+ $equiv, '
96	96	<title>HTTP ' . $status . '</title>
97	97	' . ((isset($GLOBALS['meta']['charset'])) ? '<meta http-equiv="Content-Type" content="text/html;charset=' . $GLOBALS['meta']['charset'] . '">' : '') . '
98	98	</head>
99	99	<body>
100	100	<h1>HTTP ' . $status . '</h1>
101	101	<a href="',
102		- quote_amp($url),
103		- '">',
104		- _T('navigateur_pas_redirige'),
105		- '</a></body></html>';
	102	+ quote_amp($url),
	103	+ '">',
	104	+ _T('navigateur_pas_redirige'),
	105	+ '</a></body></html>';
106	106
107		- spip_log("redirige $status: $url");
	107	+ spip_log("redirige $status: $url");
108	108
109		- exit;
	109	+ exit;
110	110	}
111	111
112	112	// http://code.spip.net/@redirige_formulaire
113	113	function redirige_formulaire($url, $equiv = '', $format = 'message') {
114		- if (!_AJAX
115		- and !headers_sent()
116		- and !_request('var_ajax')
117		- ) {
118		- redirige_par_entete(str_replace('&', '&', $url), $equiv);
119		- } // si c'est une ancre, fixer simplement le window.location.hash
120		- elseif ($format == 'ajaxform' and preg_match(',^#[0-9a-z\-_]+$,i', $url)) {
121		- return array(
122		- // on renvoie un lien masque qui sera traite par ajaxCallback.js
123		- "<a href='$url' name='ajax_ancre' style='display:none;'>anchor</a>",
124		- // et rien dans le message ok
125		- ''
126		- );
127		- } else {
128		- // ne pas laisser passer n'importe quoi dans l'url
129		- $url = str_replace(array('<', '"'), array('<', '"'), $url);
130		-
131		- $url = strtr($url, "\n\r", " ");
132		- # en theorie on devrait faire ca tout le temps, mais quand la chaine
133		- # commence par ? c'est imperatif, sinon l'url finale n'est pas la bonne
134		- if ($url[0] == '?') {
135		- $url = url_de_base() . $url;
136		- }
137		- $url = str_replace('&', '&', $url);
138		- spip_log("redirige formulaire ajax: $url");
139		- include_spip('inc/filtres');
140		- if ($format == 'ajaxform') {
141		- return array(
142		- // on renvoie un lien masque qui sera traite par ajaxCallback.js
143		- '<a href="' . quote_amp($url) . '" name="ajax_redirect" style="display:none;">' . _T('navigateur_pas_redirige') . '</a>',
144		- // et un message au cas ou
145		- '<br /><a href="' . quote_amp($url) . '">' . _T('navigateur_pas_redirige') . '</a>'
146		- );
147		- } else // format message texte, tout en js inline
148		- {
149		- return
150		- // ie poste les formulaires dans une iframe, il faut donc rediriger son parent
151		- "<script type='text/javascript'>if (parent.window){parent.window.document.location.replace(\"$url\");} else {document.location.replace(\"$url\");}</script>"
152		- . http_img_pack('searching.gif', '')
153		- . '<br />'
154		- . '<a href="' . quote_amp($url) . '">' . _T('navigateur_pas_redirige') . '</a>';
155		- }
156		- }
	114	+ if (!_AJAX
	115	+ and !headers_sent()
	116	+ and !_request('var_ajax')
	117	+ ) {
	118	+ redirige_par_entete(str_replace('&', '&', $url), $equiv);
	119	+ } // si c'est une ancre, fixer simplement le window.location.hash
	120	+ elseif ($format == 'ajaxform' and preg_match(',^#[0-9a-z\-_]+$,i', $url)) {
	121	+ return array(
	122	+ // on renvoie un lien masque qui sera traite par ajaxCallback.js
	123	+ "<a href='$url' name='ajax_ancre' style='display:none;'>anchor</a>",
	124	+ // et rien dans le message ok
	125	+ ''
	126	+ );
	127	+ } else {
	128	+ // ne pas laisser passer n'importe quoi dans l'url
	129	+ $url = str_replace(array('<', '"'), array('<', '"'), $url);
	130	+
	131	+ $url = strtr($url, "\n\r", " ");
	132	+ # en theorie on devrait faire ca tout le temps, mais quand la chaine
	133	+ # commence par ? c'est imperatif, sinon l'url finale n'est pas la bonne
	134	+ if ($url[0] == '?') {
	135	+ $url = url_de_base() . $url;
	136	+ }
	137	+ $url = str_replace('&', '&', $url);
	138	+ spip_log("redirige formulaire ajax: $url");
	139	+ include_spip('inc/filtres');
	140	+ if ($format == 'ajaxform') {
	141	+ return array(
	142	+ // on renvoie un lien masque qui sera traite par ajaxCallback.js
	143	+ '<a href="' . quote_amp($url) . '" name="ajax_redirect" style="display:none;">' . _T('navigateur_pas_redirige') . '</a>',
	144	+ // et un message au cas ou
	145	+ '<br /><a href="' . quote_amp($url) . '">' . _T('navigateur_pas_redirige') . '</a>'
	146	+ );
	147	+ } else // format message texte, tout en js inline
	148	+ {
	149	+ return
	150	+ // ie poste les formulaires dans une iframe, il faut donc rediriger son parent
	151	+ "<script type='text/javascript'>if (parent.window){parent.window.document.location.replace(\"$url\");} else {document.location.replace(\"$url\");}</script>"
	152	+ . http_img_pack('searching.gif', '')
	153	+ . '<br />'
	154	+ . '<a href="' . quote_amp($url) . '">' . _T('navigateur_pas_redirige') . '</a>';
	155	+ }
	156	+ }
157	157	}
158	158
159	159	/**
		@@ -174,7 +174,7 @@ discard block
		block discarded – undo
174	174	* @return void
175	175	**/
176	176	function redirige_url_ecrire($script = '', $args = '', $equiv = '') {
177		- return redirige_par_entete(generer_url_ecrire($script, $args, true), $equiv);
	177	+ return redirige_par_entete(generer_url_ecrire($script, $args, true), $equiv);
178	178	}
179	179
180	180	/**
		@@ -189,49 +189,49 @@ discard block
		block discarded – undo
189	189	**/
190	190	function http_status($status) {
191	191
192		- static $status_string = array(
193		- 200 => '200 OK',
194		- 204 => '204 No Content',
195		- 301 => '301 Moved Permanently',
196		- 302 => '302 Found',
197		- 304 => '304 Not Modified',
198		- 401 => '401 Unauthorized',
199		- 403 => '403 Forbidden',
200		- 404 => '404 Not Found',
201		- 503 => '503 Service Unavailable'
202		- );
203		-
204		- if (!empty($GLOBALS['REDIRECT_STATUS']) && $GLOBALS['REDIRECT_STATUS'] == $status) {
205		- return;
206		- }
207		-
208		- $php_cgi = ($GLOBALS['flag_sapi_name'] and preg_match(",cgi,i", @php_sapi_name()));
209		- if ($php_cgi) {
210		- header("Status: " . $status_string[$status]);
211		- } else {
212		- header("HTTP/1.0 " . $status_string[$status]);
213		- }
	192	+ static $status_string = array(
	193	+ 200 => '200 OK',
	194	+ 204 => '204 No Content',
	195	+ 301 => '301 Moved Permanently',
	196	+ 302 => '302 Found',
	197	+ 304 => '304 Not Modified',
	198	+ 401 => '401 Unauthorized',
	199	+ 403 => '403 Forbidden',
	200	+ 404 => '404 Not Found',
	201	+ 503 => '503 Service Unavailable'
	202	+ );
	203	+
	204	+ if (!empty($GLOBALS['REDIRECT_STATUS']) && $GLOBALS['REDIRECT_STATUS'] == $status) {
	205	+ return;
	206	+ }
	207	+
	208	+ $php_cgi = ($GLOBALS['flag_sapi_name'] and preg_match(",cgi,i", @php_sapi_name()));
	209	+ if ($php_cgi) {
	210	+ header("Status: " . $status_string[$status]);
	211	+ } else {
	212	+ header("HTTP/1.0 " . $status_string[$status]);
	213	+ }
214	214	}
215	215
216	216	// Retourne ce qui va bien pour que le navigateur ne mette pas la page en cache
217	217	// http://code.spip.net/@http_no_cache
218	218	function http_no_cache() {
219		- if (headers_sent()) {
220		- spip_log("http_no_cache arrive trop tard");
221		-
222		- return;
223		- }
224		- $charset = empty($GLOBALS['meta']['charset']) ? 'utf-8' : $GLOBALS['meta']['charset'];
225		-
226		- // selon http://developer.apple.com/internet/safari/faq.html#anchor5
227		- // il faudrait aussi pour Safari
228		- // header("Cache-Control: post-check=0, pre-check=0", false)
229		- // mais ca ne respecte pas
230		- // http://www.w3.org/Protocols/rfc2616/rfc2616-sec14.html#sec14.9
231		-
232		- header("Content-Type: text/html; charset=$charset");
233		- header("Expires: 0");
234		- header("Last-Modified: " . gmdate("D, d M Y H:i:s") . " GMT");
235		- header("Cache-Control: no-cache, must-revalidate");
236		- header("Pragma: no-cache");
	219	+ if (headers_sent()) {
	220	+ spip_log("http_no_cache arrive trop tard");
	221	+
	222	+ return;
	223	+ }
	224	+ $charset = empty($GLOBALS['meta']['charset']) ? 'utf-8' : $GLOBALS['meta']['charset'];
	225	+
	226	+ // selon http://developer.apple.com/internet/safari/faq.html#anchor5
	227	+ // il faudrait aussi pour Safari
	228	+ // header("Cache-Control: post-check=0, pre-check=0", false)
	229	+ // mais ca ne respecte pas
	230	+ // http://www.w3.org/Protocols/rfc2616/rfc2616-sec14.html#sec14.9
	231	+
	232	+ header("Content-Type: text/html; charset=$charset");
	233	+ header("Expires: 0");
	234	+ header("Last-Modified: " . gmdate("D, d M Y H:i:s") . " GMT");
	235	+ header("Cache-Control: no-cache, must-revalidate");
	236	+ header("Pragma: no-cache");
237	237	}

spip / SPIP

Push — master ( 17c999...0b8324 )

Status

Category

Indentation +145 added lines, -145 removed lines patch added patch discarded remove patch