extract example from phpdoc into a single file