besoin d upgrader la PF de prod en php 5.6+
Fragment d'une discussion sur Discussion:Infos pour les sysadmins
J'ai effectué le passage à PHP 5.6.40 (c'est impossible de passer à PHP 7 tout en gardant la version actuelle de Mediawiki). J'ai procédé ainsi :
- apt-get upgrade
- apt-add-repository ppa:ondrej/php
- apt-get update
- apt-get install php5.6
- a2dismod php5
- a2enmod php5.6
- apt-get install php5.6-mysqli
- service apache2 restart
J'ai ensuite mis à jour manuellement le fichier /etc/php/5.6/apache2/php.ini à partir de ce qu'on avait personnalisé dans /etc/php5/apache2/php.ini.
Là-dessus, le wiki a bugué un max, j'ai résolu le souci en patchant /var/www_wiki.gentilsvirus.org/includes/MagicWord.php (cf. lignes ajoutées avec le commentaire « // Group name must start with a non-digit in PCRE 8.34+ »).