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

717 octets ajoutés ,  16 août 2008 à 23:29
aucun résumé de modification
Ligne 75 : Ligne 75 :
//: sprintf( "<!-- Served in %01.3f secs. -->", $elapsed );
//: sprintf( "<!-- Served in %01.3f secs. -->", $elapsed );
##### FIN HACK #####
##### FIN HACK #####
</pre>
=== /includes/Wiki.php ===
<pre>
// Namespace might change when using redirects
// Check for redirects ...
$file = $title->getNamespace() == NS_IMAGE ? $article->getFile() : null;
if( ( $action == 'view' || $action == 'render' ) // ... for actions that show content
&& !$request->getVal( 'oldid' ) &&    // ... and are not old revisions
##### HACK GWiki (Correction des redirects dans l'espace de nom Image:) #####
$request->getVal( 'redirect' ) != 'no'/* && // ... unless explicitly told not to
// ... and the article is not a non-redirect image page with associated file
!( is_object( $file ) && $file->exists() && !$file->getRedirected() ) */) {
##### END HACK #####
</pre>
</pre>