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

1.3 KiB

21x18px

Raw History