github-php-function-jumper
Jump to the PHP Manual from the php functions and classes on your GitHub source codes and discussion.
Rating: 5
|
Version: 0.4.8
|
Size: 11.38MiB
|
Language(s): 9 languages
|
mail
Rating history
Rating count & user count history
Similar extensions
name | rating | # ratings | # users | categories | description | version | updated | |
---|---|---|---|---|---|---|---|---|
Debugger Timeout | 5 | 4 | 130 | Developer Tools | The best extension to set a timed debugger to inspect hard-to-grab elements on web pages | 1.0.1 | September 21, 2023 | view details → |
Lara-Pulse | 5 | 2 | 22 | Social Networking | Curated Laravel Videos and News Extension: Access the latest videos & news from diverse feeds & channels in the Laravel community. | 1.16 | June 21, 2024 | view details → |
Bugshare | 5 | 6 | 66 | Developer Tools | Bugshare automatically searches the web for solutions to your developer errors, so that you can get back to coding. | 1.1.0 | June 21, 2021 | view details → |
Lavaca Developer Tools | - | 0 | 117 | Developer Tools | Chrome DevTools extension for debugging Lavaca apps. | 0.0.5 | December 3, 2013 | view details → |
GitHub submodule links | 5 | 2 | 158 | Developer Tools | Hyperlinks submodule hashes and submodule diffs on GitHub. | 1.6 | March 28, 2015 | view details → |
Github Package.json Enhancer | - | 0 | 214 | Developer Tools | Enhance Package.json on Github by linking up modules to NPM | 7 | April 16, 2015 | view details → |
PHP Revival | 5 | 7 | 603 | Functionality & UI | Extension that every PHP developer must have. Changes styles to php.net for a better experience of using documentation | 2.8.1 | May 1, 2024 | view details → |
Check for .git directory existence | - | 0 | 252 | Developer Tools | This extension will check for an existing .git directory on your site, which is a big security leak. | 1.2 | September 25, 2016 | view details → |
PHP Write Run | 4.9 | 9 | 561 | Developer Tools | Write and run PHP code online. | 1.0 | March 5, 2019 | view details → |
HTML5 Debugger | 2 | 1 | 447 | Developer Tools | Shows errors on a web page | 1.0.6 | September 15, 2018 | view details → |
DHTMLConsole | 4 | 5 | 243 | Developer Tools | This allows you to send message from your server via headers to the dhtmlconsole developer panel | 0.4 | January 19, 2016 | view details → |
Catberry Debugger | 4.8 | 4 | 125 | Developer Tools | Extends Chrome Developer Tools, adding panels that display information about Catberry components and more | 1.0.0 | March 25, 2017 | view details → |
gist-more-url | 5 | 1 | 104 | Developer Tools | Show extend url to clone (by 'ssh' and 'git') on Gist. | 0.0.4 | September 9, 2013 | view details → |
Scripter debugger extension | 5 | 2 | 319 | Developer Tools | This extension debugs the scripter blocks and load proccess | 3.0.2 | November 7, 2014 | view details → |
Atma.js DevTool | - | 0 | 141 | Developer Tools | Development Tool to develop, inspect and debug Atma.js Components | 0.2.2 | September 29, 2014 | view details → |
Quick Open in VSCode | - | 0 | 120 | Developer Tools | Quickly and easily open file links in VSCode | 0.1.0 | September 13, 2022 | view details → |
github1s Linker | - | 0 | 151 | Developer Tools | Inserts a direct link to github1s in gitHub repos | 1.0 | March 24, 2021 | view details → |
PHP Offline Manual | 4.8 | 16 | 2k | Developer Tools | PHP offline documentation in a popup | 1.2.1 | December 18, 2022 | view details → |
PDOQuickGen: PHP CRUD Wizard | 3 | 4 | 1k | Developer Tools | Boost your PHP development efficiency with our PDO CRUD Generator for MySQL. | 4.2 | December 30, 2023 | view details → |
Jotform Support Manager | - | 0 | 310 | Developer Tools | Chrome Extension for Jotform Support Heroes! | 0.1.1 | March 28, 2022 | view details → |
Echo View | 4 | 3 | 358 | Developer Tools | Pretty prints various Arrays / Hash maps for you. (Currently PHP only!) | 0.1 | September 15, 2012 | view details → |
GitHub Issues Enhancements | 5 | 1 | 34 | Developer Tools | Chrome Extension to capture estimated time and % done for Github issues | 1.1 | July 7, 2020 | view details → |
Github Keep-Alive | 5 | 1 | 155 | Developer Tools | If your Chrome opens Github pages too late or with multiple timeout errors, this extension will fix the problem. | 1.1 | October 23, 2018 | view details → |
Check Dead Links | 4.2 | 5 | 65 | Developer Tools | This extension checks links by fetching their heads. Icon made by Vectors Market from www.flaticon.com. | 0.5.1 | June 12, 2024 | view details → |
Line Clipper for GitHub | - | 0 | 52 | Workflow & Planning | Effortlessly copy file paths with their respective line numbers when working on GitHub. | 1.0.2 | May 6, 2020 | view details → |