Merge pull request #6 from PrestaEdit/master

//
Update Tools.php
Merge pull request #7 from DevNet/patch-4

Update Tools.php
// fix
Merge pull request #9 from PrestaEdit/dev

// Merge dev