Pour pouvoir importer des images sur le serveur et consulter le wiki sans publicité, vous devez vous connecter.

Différences entre les versions de « GWiki:Fichier modifié »

Aller à la navigation Aller à la recherche
927 octets ajoutés ,  16 août 2008 à 10:39
aucun résumé de modification
m
Ligne 52 : Ligne 52 :
} else {
} else {
/* open the remaining sockets for this server */
/* open the remaining sockets for this server */
</pre>
=== /includes/media/Bitmap.php ===
<pre>
if ( $mimeType == 'image/jpeg' ) {
##### HACK GWiki (quality 90 au lieu de 80 par défaut) #####
$quality = "-quality 90"; // 80%
##### FIN HACK #####
# Sharpening, see bug 6193
if ( ( $physicalWidth + $physicalHeight ) / ( $srcWidth + $srcHeight ) < $wgSharpenReductionThreshold ) {
$sharpen = "-sharpen " . wfEscapeShellArg( $wgSharpenParameter );
}
</pre>
=== /includes/GlobalFunctions.php ===
<pre>
return $wgShowHostnames
##### HACK GWiki (Affichage nom d'hôte et temps de génération) #####
? sprintf( "Page g&#233;n&#233;r&#233;e par %s en %01.3f secondes", wfHostname(), $elapsed )
: sprintf( "Page g&#233;n&#233;r&#233;e en %01.3f secondes", $elapsed );
//? sprintf( "<!-- Served by %s in %01.3f secs. -->", wfHostname(), $elapsed )
//: sprintf( "<!-- Served in %01.3f secs. -->", $elapsed );
##### FIN HACK #####
</pre>
</pre>


Menu de navigation