
Recherche avancée
Médias (91)
-
Collections - Formulaire de création rapide
19 février 2013, par
Mis à jour : Février 2013
Langue : français
Type : Image
-
Les Miserables
4 juin 2012, par
Mis à jour : Février 2013
Langue : English
Type : Texte
-
Ne pas afficher certaines informations : page d’accueil
23 novembre 2011, par
Mis à jour : Novembre 2011
Langue : français
Type : Image
-
The Great Big Beautiful Tomorrow
28 octobre 2011, par
Mis à jour : Octobre 2011
Langue : English
Type : Texte
-
Richard Stallman et la révolution du logiciel libre - Une biographie autorisée (version epub)
28 octobre 2011, par
Mis à jour : Octobre 2011
Langue : English
Type : Texte
-
Rennes Emotion Map 2010-11
19 octobre 2011, par
Mis à jour : Juillet 2013
Langue : français
Type : Texte
Autres articles (98)
-
Gestion de la ferme
2 mars 2010, parLa ferme est gérée dans son ensemble par des "super admins".
Certains réglages peuvent être fais afin de réguler les besoins des différents canaux.
Dans un premier temps il utilise le plugin "Gestion de mutualisation" -
Soumettre bugs et patchs
10 avril 2011Un logiciel n’est malheureusement jamais parfait...
Si vous pensez avoir mis la main sur un bug, reportez le dans notre système de tickets en prenant bien soin de nous remonter certaines informations pertinentes : le type de navigateur et sa version exacte avec lequel vous avez l’anomalie ; une explication la plus précise possible du problème rencontré ; si possibles les étapes pour reproduire le problème ; un lien vers le site / la page en question ;
Si vous pensez avoir résolu vous même le bug (...) -
ANNEXE : Les extensions, plugins SPIP des canaux
11 février 2010, parUn plugin est un ajout fonctionnel au noyau principal de SPIP. MediaSPIP consiste en un choix délibéré de plugins existant ou pas auparavant dans la communauté SPIP, qui ont pour certains nécessité soit leur création de A à Z, soit des ajouts de fonctionnalités.
Les extensions que MediaSPIP nécessite pour fonctionner
Depuis la version 2.1.0, SPIP permet d’ajouter des plugins dans le répertoire extensions/.
Les "extensions" ne sont ni plus ni moins que des plugins dont la particularité est qu’ils se (...)
Sur d’autres sites (7330)
-
Revision 77113 : Permettre que la saisie date_jour_mois_annee ne soit pas un datetime mais ...
9 octobre 2013, par kent1@… — LogPermettre que la saisie date_jour_mois_annee ne soit pas un datetime mais un date
Version 1.36.0 -
Revision 69287 : PHPDoc + formatage du code + on renvoit soit un booléen soit ...
24 janvier 2013, par rastapopoulos@… — LogPHPDoc
+ formatage du code
+ on renvoit soit un booléen soit l’id_journal créé en base
+ on ne teste pas la configuration dans cette fonction là car dans le formuloaire de config (et donc dans la meta) il est impossible de prévoir toutes les actions et donc si on en met une pas prévue ça n’aurait pas enregistré en base
+ la grosse modif : on garde en mémoire dans un même hit PHP ce qui a été journalisé (mêmes action+objet+id_objet) et si dans le même hit ya la même suite, alors on ne fait que modifier la ligne déjà insérée en fusionnant les infos supplémentaires -
Revision 69287 : PHPDoc + formatage du code + on renvoit soit un booléen soit ...
11 juin 2018, par rastapopoulos@… — LogPHPDoc
+ formatage du code
+ on renvoit soit un booléen soit l’id_journal créé en base
+ on ne teste pas la configuration dans cette fonction là car dans le formuloaire de config (et donc dans la meta) il est impossible de prévoir toutes les actions et donc si on en met une pas prévue ça n’aurait pas enregistré en base
+ la grosse modif : on garde en mémoire dans un même hit PHP ce qui a été journalisé (mêmes action+objet+id_objet) et si dans le même hit ya la même suite, alors on ne fait que modifier la ligne déjà insérée en fusionnant les infos supplémentaires