Salut,
Je pense que l'extention que tu cherche est celle-ci:
http://www.mediawiki.org/wiki/Extensiondf_Export
Pour l'installation il faut modifier le Fichier localSettings.php et y ajouter cette ligne :
require_once("extensions/PdfExport/PdfExport.php");
Tu dois bien enttendu avant copier ton extension dans le repertoire extension de ton wiki.
Il est possible aussi d'ajouter une image pour ton PDF avec cette ligne :
$wgPdfExportBackground = "path/to/the/background-image/image.jpg";
Modifie ensuite le fichier includes/Linker.php
avec
1 2 3 4 5 6 7 8 9 10 11
| --- a/includes/Linker.php
+++ b/includes/Linker.php
@@ -1417,7 +1417,7 @@ class Linker {
public function makeHeadline( $level, $attribs, $anchor, $text, $link, $legacyAnchor = false ) {
$ret = "<h$level$attribs"
. $link
- . " <span class=\"mw-headline\" id=\"$anchor\">$text</span>"
+ . " <span class=\"mw-headline\" id=\"$anchor\"><a style=\"text-decoration:none;color:black\" name=\"$anchor\">$text</a></span>"
. "</h$level>";
if ( $legacyAnchor !== false ) {
$ret = "<a id=\"$legacyAnchor\"></a>$ret"; |
Tous ce que j'ai mis ce trouve dans la page que j'ai mise.
Pour ce qui est des explications.
L'installation des extention c'est globalement toujours la même chose une ligne dans le locaSettings et apres il faut lire ( en Anglais malheuresement)
la description de l'extention pour l'installer corectement
Partager