phpdoc for firefox profile