M. Yas. Davoodeh ff0b78e0b6 Add pretty symbols to php-mode (#3513) ...

* Add pretty symbols to php-mode

I'm not pretty sure if Types are redundant or not since Php is not so much around types... But I added them just in case.

* Remove dot from Php pretty symbols

* Sort php/config.el

2020-07-13 17:18:19 -04:00

4.2 KiB

Raw Blame History

View Raw