Fix a bug
Give precendence to documentation retrieved using php-extras
Merge branch 'master' of github.com:iqbalansari/dotEmacs