[spip-dev] Statistiques de Novembre 2018

Salut les gens,

Suite à la publication de https://blog.spip.net/Statistiques-Novembre-2018.html
et surtout en raison de l’imminence de la publication de PHP7.3 (jeudi prochain, le 6/12/2018),
je me demande ce qu’il y a aurait à faire pour que https://stats.spip.net commence à compter cette version.

Amitiés,

Bonjour,

Se rajouter ici https://zone.spip.net/trac/spip-zone/browser/spip-zone/dev/univers_spip/stats-tout.html
Il me semble en tout cas.

mais spip est encore valider 7.3 il me semble donc ça serait pas mettre la charrue avant …

Hello :blush:

Je pense qu’il faut faire comme là :

https://zone.spip.net/trac/spip-zone/changeset/107367/spip-zone

Oui, tu as raison, maintenant, faudrait changer

https://zone.spip.net/trac/spip-zone/browser/spip-zone/dev/univers_spip/stats-tout.html#L6

Pour faire l’ajout de php 7.3 (même si spip 3.2 ne supporte php 7.2/7.3)

Voir aussi de https://zone.spip.net/trac/spip-zone/browser/spip-zone/dev/univers_spip/stats-tout.html#L3

Comme ça, cela sera fait…

Oui, c’est un début. et c’est fait.

Donc, maintenant, j’imagine qu’il faut mettre le plugin à jour sur contrib.spip.net.
Qui peut faire ça ? Merci d’avance ! :slight_smile: