[spip-dev] Formats de fichiers

Salut,

On avait parlé de formats de fichiers récemment (tex, ai, etc...)

Il y a de l'avancement ? J'ai rien repéré de super dur dans le code,
mais si ça n'a pas été implémenté, c'est pour une raison X ou Y ?

ai-dist.png

Salut,

On avait parlé de formats de fichiers récemment (tex, ai, etc...)

Il y a de l'avancement ? J'ai rien repéré de super dur dans le code,
mais si ça n'a pas été implémenté, c'est pour une raison X ou Y ?

Actuellement dans ecrire/inc_base.php3, ci-dessous.
Seuls les types inscrits dans la table spip_types_documents
sont autorisés à l'upload HTTP. Les vignettes par défaut
(icones chourées à GNOME, en fait) sont dans IMG/icones.
Celles livrées avec SPIP sont de la forme pdf-dist.png,
on peut utiliser les siennes à soi en installant pdf.png
(ou .gif ou .jpg).

        $query = "INSERT IGNORE spip_types_documents (id_type, extension,
titre, inclus) VALUES ".
                "(1, 'jpg', 'Image JPEG', 'image'), ".
                "(2, 'png', 'Image PNG', 'image'), ".
                "(3, 'gif', 'Image GIF', 'image')";
        mysql_query($query);

        $query = "INSERT IGNORE spip_types_documents (extension, titre,
inclus) VALUES ".
                "('bmp', 'Image BMP', 'image'), ".
                "('psd', 'Image Photoshop', 'image'), ".
                "('tif', 'Image TIFF', 'image')";
        mysql_query($query);

        $query = "INSERT IGNORE spip_types_documents (extension, titre)
VALUES ".
                "('aiff', 'Fichier sonore AIFF'), ".
                "('asf', 'Video Windows'), ".
                "('avi', 'Video Windows'), ".
                "('bz2', 'Archive BZip'), ".
                "('doc', 'Document Word'), ".
                "('eps', 'Document PostScript encapsul".chr(233)."'), ".
                "('gz', 'Archive GZ'), ".
                "('html', 'Fichier HTML'), ".
                "('mid', 'Musique au format Midi'), ".
                "('mov', 'Video QuickTime'), ".
                "('mp3', 'Fichier sonore MP3'), ".
                "('mpg', 'Video MPEG'), ".
                "('ogg', 'Fichier sonore Ogg Vorbis'), ".
                "('pdf', 'Document PDF'), ".
                "('ppt', 'Document PowerPoint'), ".
                "('ps', 'Document PostScript'), ".
                "('qt', 'Video QuickTime'), ".
                "('ra', 'Fichier RealAudio'), ".
                "('ram', 'Fichier RealAudio'), ".
                "('rm', 'Fichier RealAudio'), ".
                "('rtf', 'Document RTF'), ".
                "('sit', 'Archive Stuffit'), ".
                "('swf', 'Animation Flash'), ".
                "('tgz', 'Archive TGZ'), ".
                "('txt', 'Document texte'), ".
                "('wav', 'Fichier sonore WAV'), ".
                "('xls', 'Document Excel'), ".
                "('xml', 'Fichier XML'), ".
                "('zip', 'Archive Zip')";
        mysql_query($query);