Nico Verbruggen b14d7bdf07 ✨ Add multiple options for icons (#106) ...

- PHP next to icon (default)
- PHP Elephant
- No icon

If you chose "no PHP text next to icon" earlier, that preference is
remembered and migrated over.

2022-02-07 00:46:00 +01:00

658 B

5x18px

Raw History