Je suis tombé par hasard sur une erreur d’inspection dans PHPStorm concernant le PHPDoc du fichier inc/filtres.php. En effet, la fin d’un bloc phpdoc est normalement */ or dans plusieurs fonctions on a **/.
Sur une de ces fonctions avec une double étoile en fin, j’ai une erreur et dans le fichier lui-même on a un mix de une et deux étoiles.
Je ne sais pas si c’est un problème ou pas mais je le remonte au cas où on voudrait mettre tout en cohérence.
1 « J'aime »
C’est une bonne idée, la mise en cohérence.
ça donnerait quelque chose comme ça :
c’est applicable aussi aux plugins-dist, si souhaité.
EDIT: je ne pense pas que ce soit techniquement un problème pour d’autres outils, mais je trouve que c’est bien d’être cohérent. Même sur ce genre de sujet.
EDIT2: la PR : chore: fix docblock endings (!5952) · Requêtes de fusion · spip / spip · GitLab
Un filtre pour trouver les PRs des plugins-dist : Requêtes de fusion · spip · GitLab