Mise à jour et gestion de version

jdev-org / WP-map-store-locator

A Wordpress plugin to display customers and stores from a file to a map.

GNU General Public License v3.0

0 stars 1 forks source link

Mise à jour et gestion de version #11

Closed pierrejego closed 4 years ago

pierrejego commented 4 years ago

En tant que administrateur, je souhaite pouvoir mettre à jour et connaître la version de l'extension afin de faciliter la maintenance

Gaetanbrl commented 4 years ago

La version est modifiable dans le fichier php de l'extension. Pour cela, modifier le champ "Version" dans les commentaire en en-tête du plugin :

/*
Plugin Name: Map Store Location

Description: A plugin to display geographic data in a map.
Version: 1.0.0
Author: JDev
License: GPLv3 or later
Domain Path: /languages
*/

Les informations d'en-tête sont affichées ensuite dans la partie "extentions" de wordpress pour le plugin concerné :

Gaetanbrl commented 4 years ago

Lors d'une mise jour du plugin sur le dépôt principal des extensions wordpress, les personnes qui ont installées le plugins sont notifiées de la mise à jour.

Ils peuvent procéder à cette mise à jour :

Manuellement en remplaçant le répertoire /sitewordpress/wp-content/plugin/WP-map-store-locator par la mise à jour. Les données en base seront restituées, sauf si les options ont changées de nom.
Automatiquement via l'interface d'administration wordpress page "plugins".