* data/php_stdlib/builtins_facebook.idl.php: new
Merge branch 'master' of github.com:facebook/pfff
* data/php_stdlib/facebook.php: misc
* lang_php/parsing/ast_php.mli: delete