mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2026-01-23 20:57:57 -05:00
https://github.com/marienfressinaud/FreshRSS/pull/398
Je suis reparti du commit 7a510af73a, ai
ajouté la gestion des espaces à une fonction de conversion des entiers,
corrigé ce qui devait être fait côté PHP, et remis manuellement les
patchs intermédiaires (j'espère ne pas avoir oublié de corrections).
Le code est même plus simple qu'avant.
Testé aussi sur titre et favoris
12 KiB
Executable File
12 KiB
Executable File