Recherche avancée

Médias (0)

Mot : - Tags -/xmlrpc

Aucun média correspondant à vos critères n’est disponible sur le site.

Autres articles (109)

  • Taille des images et des logos définissables

    9 février 2011, par

    Dans beaucoup d’endroits du site, logos et images sont redimensionnées pour correspondre aux emplacements définis par les thèmes. L’ensemble des ces tailles pouvant changer d’un thème à un autre peuvent être définies directement dans le thème et éviter ainsi à l’utilisateur de devoir les configurer manuellement après avoir changé l’apparence de son site.
    Ces tailles d’images sont également disponibles dans la configuration spécifique de MediaSPIP Core. La taille maximale du logo du site en pixels, on permet (...)

  • Monitoring de fermes de MediaSPIP (et de SPIP tant qu’à faire)

    31 mai 2013, par

    Lorsque l’on gère plusieurs (voir plusieurs dizaines) de MediaSPIP sur la même installation, il peut être très pratique d’obtenir d’un coup d’oeil certaines informations.
    Cet article a pour but de documenter les scripts de monitoring Munin développés avec l’aide d’Infini.
    Ces scripts sont installés automatiquement par le script d’installation automatique si une installation de munin est détectée.
    Description des scripts
    Trois scripts Munin ont été développés :
    1. mediaspip_medias
    Un script de (...)

  • Ajout d’utilisateurs manuellement par un administrateur

    12 avril 2011, par

    L’administrateur d’un canal peut à tout moment ajouter un ou plusieurs autres utilisateurs depuis l’espace de configuration du site en choisissant le sous-menu "Gestion des utilisateurs".
    Sur cette page il est possible de :
    1. décider de l’inscription des utilisateurs via deux options : Accepter l’inscription de visiteurs du site public Refuser l’inscription des visiteurs
    2. d’ajouter ou modifier/supprimer un utilisateur
    Dans le second formulaire présent un administrateur peut ajouter, (...)

Sur d’autres sites (15063)

  • Revision 77113 : Permettre que la saisie date_jour_mois_annee ne soit pas un datetime mais ...

    9 octobre 2013, par kent1@… — Log

    Permettre 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 ...

    11 juin 2018, par rastapopoulos@… — Log

    PHPDoc
    + 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 ...

    24 janvier 2013, par rastapopoulos@… — Log

    PHPDoc
    + 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

Navigation