Fotis Papadopoulos fpapadopou

## delete_plugin_extension.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                fpapadopou
                / delete_plugin_extension.md
            
            
              Last active
              April 12, 2016 10:32
            
              
                Uninstall codebender plugin/extension
              
          
    Here's how you can uninstall codebender's plugin from Mozilla Firefox or the respective extension from Google Chrome. If you need to re-install the plugin/extension, you can always find it here.
Regardless of what operating system you might be using, the steps are the same for both Firefox and Chrome.
Mozilla Firefox


Open Firefox, head over to the address bar and type about:addons.
In the addons menu click on the Extensions tab.
Locate the Codebender.cc Plugin and click on the Remove button.
Restart your browser.


## bash
manu@Samweis PHP_PMD-git $ src/bin/phpmd --version
PHPMD 2.2.0
manu@Samweis PHP_PMD-git $ src/bin/phpmd /tmp/short.php text /tmp/naming.xml

manu@Samweis PHP_PMD-git $
	manu@Samweis PHP_PMD-git $ src/bin/phpmd --version
	PHPMD 2.2.0
	manu@Samweis PHP_PMD-git $ src/bin/phpmd /tmp/short.php text /tmp/naming.xml

	manu@Samweis PHP_PMD-git $