Mapping leader to , and enabling phpdoc with Leader+t