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
2020-03-27 16:57:56 -04:00
2020-07-12 22:46:15 -04:00
2020-06-22 19:41:34 -03:00
2020-05-23 15:38:22 -04:00
2020-06-17 14:23:08 -04:00
2020-01-25 19:02:00 -05:00
2020-06-20 03:02:05 -04:00
2020-06-24 20:18:15 -03:00
2020-04-23 23:56:17 -04:00
2020-06-17 14:23:11 -04:00
2020-04-22 17:27:32 -04:00
2020-07-13 15:51:28 -04:00
2020-03-28 20:08:24 -04:00
2020-03-27 16:57:56 -04:00
2020-03-27 16:57:56 -04:00
2020-01-25 19:02:00 -05:00
2020-01-25 19:02:00 -05:00
2020-03-27 16:57:56 -04:00
2020-06-07 02:31:13 -04:00
2020-06-04 20:13:28 -04:00
2020-06-04 20:13:28 -04:00
2020-01-25 19:02:00 -05:00
2020-02-06 16:55:28 -05:00
2020-07-12 22:46:15 -04:00
2020-06-07 14:19:13 -04:00
2020-06-04 20:13:28 -04:00
2020-04-23 23:56:18 -04:00
2020-06-04 20:13:28 -04:00
2020-06-04 20:13:28 -04:00
2020-03-27 16:57:56 -04:00
2020-03-27 16:57:56 -04:00
2020-06-04 20:13:28 -04:00
2020-06-02 19:52:42 -04:00
2020-01-25 19:02:00 -05:00
2020-05-06 22:14:38 +03:00
2020-03-27 16:57:56 -04:00
2020-07-13 01:46:15 -04:00
2020-07-13 17:18:19 -04:00
2020-03-17 01:14:08 +00:00
2020-05-13 17:32:20 +09:00
2020-06-24 20:18:16 -03:00
2020-01-25 19:02:00 -05:00
2020-06-17 14:23:35 -04:00
2020-06-05 15:18:28 -04:00
2020-03-27 21:34:58 -04:00
2020-01-25 19:02:00 -05:00
2020-05-24 22:53:38 -04:00
2020-06-27 14:48:52 +02:00
2020-06-24 20:18:15 -03:00
2020-06-19 14:45:31 +10:00
2020-07-13 17:18:06 -04:00
2020-03-31 11:58:35 -04:00
2020-05-01 19:51:32 -04:00
2020-04-30 18:38:07 -04:00
2020-01-25 19:02:00 -05:00
2020-06-07 14:19:13 -04:00
2020-04-24 12:14:00 +08:00
ff0b78e0b6