Extension:ID Generator

Manuel des extensions MediaWiki

ID Generator État de la version : stable
Description	Fournit une fonction d’analyse pour générer des identifiants numériques incrémentiels uniques
Auteur(s)	Jeroen De Dauwdiscussion
Maintenance	Professional Wiki
Dernière version	1.0.0 (2020-01-27)
MediaWiki	1.31+
PHP	7.1+
Modifie la base de données	Non
Composer	professional-wiki/id-generator
Licence	Licence modifiée BSD 3-clause
Téléchargement	GitHub: page du projet URL du dépôt git [aide ] historique des validations README CHANGELOG

L’extension ID Generator' fournit une fonction de génération d’ID numérique séquentielle minimaliste.

Le code wikitext {{#next_number:}} affiche le 1 la première fois qu’il est utilisé, puis le 2, et ainsi de suite.

Installable et utilisable sans exécuter le script de maintenance "update.php". Créé une alternative à l’extension IDProvider puisqu’il ne peut pas être installé via Composer et nécessite en outre une table de base de données supplémentaire.

View usage documentation

Cette extension est maintenue professionnellement par l'équipe Wiki professionnel