Ricardo Pereira Dias ricardopedias
ilhooq
/ phpls.plugin
Last active
September 1, 2021 21:45
A gnome-builder plugin to provide PHP Language Server integration with Phpactor
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [Plugin] | |
| Authors=Sylvain PHILIP <[email protected]> | |
| Copyright=Copyright © 2021 Sylvain PHILIP | |
| Description=Provides auto-completion for PHP, diagnostics, and other IDE features, working with Phpactor | |
| Loader=python3 | |
| Module=phpls_plugin | |
| Name=PHP Language Server Integration | |
| X-Completion-Provider-Languages=php | |
| X-Diagnostic-Provider-Languages=php | |
| X-Formatter-Languages=php |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <?php | |
| namespace Deployer; | |
| require 'recipe/common.php'; | |
| // Project name | |
| set('application', 'enovate.co.uk'); | |
| // Project repository | |
| set('repository', '[email protected]:enovatedesign/project.git'); |
oliveratgithub
/ emojis.json
Last active
March 25, 2025 20:10
Emoji-list with emojis, names, shortcodes, unicode and html entities [massive list]
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| "emojis": [ | |
| {"emoji": "👩👩👧👧", "name": "family: woman, woman, girl, girl", "shortname": ":woman_woman_girl_girl:", "unicode": "1F469 200D 1F469 200D 1F467 200D 1F467", "html": "👩‍👩‍👧‍👧", "category": "People & Body (family)", "order": ""}, | |
| {"emoji": "👩👩👧👦", "name": "family: woman, woman, girl, boy", "shortname": ":woman_woman_girl_boy:", "unicode": "1F469 200D 1F469 200D 1F467 200D 1F466", "html": "👩‍👩‍👧‍👦", "category": "People & Body (family)", "order": ""}, | |
| {"emoji": "👩👩👦👦", "name": "family: woman, woman, boy, boy", "shortname": ":woman_woman_boy_boy:", "unicode": "1F469 200D 1F469 200D 1F466 200D 1F466", "html": "👩‍👩‍👦‍👦", "category": "People & Body (family)", "order": ""}, | |
| {"emoji": "👨👩👧👧", "name": "family: man, woman, girl, girl", "shortname": ":man_woman_girl_girl:", "unicode": "1F468 200D 1F469 200D 1F467 200D 1F467", "html": "👨‍👩&z |