Diskuse:PHP/Juandev
Poslední komentář: před 5 lety od uživatele Mmh v tématu „Přejmenování“
Přejmenování editovat
Ve shodě s mezitím již zaužívanou konvencí navrhuji přejmenování na PHP/Juandev. --Mmh (diskuse) 10. 6. 2018, 17:18 (UTC)
Není protestů, tedy jdu na to. --Mmh (diskuse) 21. 7. 2018, 18:20 (UTC)