change default settings for the github editor
La data de 20-05-2018. Vezi ultima versiune.
Acestea sunt versiunile scriptului în care codul a fost actualizat. Arată toate versiunile.
fix broken libraries