Veille sur mediawiki
Sommaire
Idées de développement d'extensions
Idées d'outils à créer pour le wiki. Ces outils existent-ils déjà? Peut-on s'inspirer d'autres outils existants?
zip automatique ou flux rss?
Existe-t-il un outil pour créer un zip de plusieurs fichiers multimédias? Cet outil permettrait de zipper automatiquement les fichiers MP3 inclus dans une même balade. Ce fichier serait automatiquement mis-à-jour lors de la modification d'un ou de plusieurs documents. L'idéal serait d'imaginer un agrégateur de fichier... dans une archive ZIP. Avec la même gestion de l'historique que pour un fichier normal (jpg, png, mp3, ogg) importé sur le serveur. Pour cela, il faut surement travailler avec une bibliothèque de fonctions pour zipper.
ou
développer en amont... un module pour la partie Upload de Mediawiki. Une sorte de sélection de fichiers... agrégés dans un fichier ZIP.
Système de cache... Mise à jour automatique du zip en fonction de l'ajout du retrait d'un document sonore de la balade. Si l'on souhaite modifier un doc sonore... que l'on n'ait pas à modifier tous les zip comprenant ce fichier! Comme développer ce genre d'outil? Un module PHP?
Une autre solution serait peut-être de faire appel au podcast! Mais je ne sais pas comment çà marche réellement.
Module de Podcast pour Mediwiki : http://meta.wikimedia.org/wiki/WikiPodcast
Feed Rss : http://meta.wikimedia.org/wiki/Category:RSS_Extensions
WikiFeeds : http://meta.wikimedia.org/wiki/WikiFeeds
une API "Géoportail" pour médiawiki?
Existe-t-il une application (API) pour afficher une carte "géoportail" sur un site web distant? Style "Google Maps". J'ai regardé sur le web. Quelques pistes :
- http://billaut.typepad.com/jm/2006/04/goportail_ign_q.html
Extensions MédiaWiki
Fotonotes
commentaires zonés sur photographies. Ce module a visiblement disparu de MediaWiki! Difficile à mettre en place
Extension MP3
http://meta.wikimedia.org/wiki/Mp3
http://www.estvideo.com/dew/index/2005/12/03/603-dewplayer-reloaded
Google Maps
http://www.mediawiki.org/wiki/Google_Maps_Extension
Markers
Une collection de markers disponibles à cette adresse : http://mapki.com/wiki/Icon_Image_Sets
Conception de markers maison :
- fabriquer soi-même avec les outils d'imageMagick et Gimp pour la trame
- un pictogramme sonore assez sympa (tete + casque par exemple)
- doit comporter un numéro ou une lettre
Les pictos doivent être mis sur le serveur dans le répertoire "extensions/GoogleMaps/icons". Les noms de fichiers sont construits sur le modèle suivant : marker{label}.png où la variable {label} peut-être un chiffre, une lettre.
Ligne correspondant au marker entre les deux balises <googlemaps>
(23) 48.201337, -4.511518, Ile vierge
