Wikimini:Développeurs

Développeurs.

Sur Wikimini, les développeurs sont les personnes qui développent et améliorent le site et son fonctionnement technique.

Ils ont notamment accès au code interne du site (qui instaure notamment toute l'interface graphique et permet le fonctionnement du logiciel MediaWiki), leur permettant de détecter et corriger les failles. Bien que leurs actions soient moins visibles par les autres utilisateurs de Wikimini, ils sont essentiels au bon fonctionnement de l'encyclopédie et leurs permettent de pouvoir consulter le site et d'y contribuer.

Ils n'ont aucun pouvoir éditiorial et disposent exclusivement d'outils leur permettant d'assurer la maintenance technique du site.

Devenir développeur

Contrairement aux wikimodos et wikitechniciens, devenir développeur ne passe pas par une élection. Les personnes nommées à ce statut le deviennent sur proposition d'un nombre très réduit de contributeurs également développeurs.

La fonction de développeur est très sélective, car nécessitant la connaissance de langages informatiques complexes et détaillés pouvant provoquer de sévères problématiques (pertes de données, inaccessibilité temporaire...) en cas d'imprudence, et perturber gravement le confort d'utilisation des autres utilisateurs.

Fonction

Les développeurs ont accès au code interne de Wikimini, regroupant toutes les données du site et permettant de le faire fonctionner. Ils peuvent visionner et modifier le code ; c'est en externe que le code est touché, c'est-à-dire que les autres utilisateurs ne voyent pas les modifications apportées.

Liste des développeurs

Liste des développeurs

N°	Utilisateur	Changement de statut	Démission
1	Lorangeo (d · c · b)	06/11/2010 (&&&&&&&&&&&0538314 ans, 8 mois et 26 jours)	—
2	Dr Brains (d · c · b)	06/11/2010 (&&&&&&&&&&&0538314 ans, 8 mois et 26 jours)	—
3	Olivier.mory (d · c · b)	07/09/2011 (&&&&&&&&&&&0507813 ans, 10 mois et 25 jours)	—

Voici également une liste des développeurs enregistrés par MediaWiki.