File tree Expand file tree Collapse file tree 1 file changed +8
-2
lines changed Expand file tree Collapse file tree 1 file changed +8
-2
lines changed Original file line number Diff line number Diff line change 4343 #TODO: On 5.0, update tool to handle both PHP & REST APIs
4444 tools/php_api_ref/phpdoc.sh
4545 #DEBUG
46+ echo '--'
47+ echo '\E'
48+ echo "\E"
49+ echo '\E' > tmp.txt
50+ echo "\E" >> tmp.txt
51+ cat tmp.txt
52+ echo '=='
53+ rm tmp.txt
4654 cat tools/php_api_ref/.phpdoc/template/package-edition-map.twig
4755
4856 - name : Commit
5159 git config --global user.email "${GITHUB_ACTOR}@users.noreply.github.com"
5260 git add docs/api/php_api/php_api_reference/ tools/php_api_ref/.phpdoc/template/package-edition-map.twig
5361 git commit -m "PHP API Ref HTML"
54- #DEBUG
55- cat tools/php_api_ref/.phpdoc/template/package-edition-map.twig
5662 #TODO: git add doc/api/rest_api/rest_api_reference/rest_api_reference.html
5763 #TODO: git commit -m "REST API Ref HTML"
5864 #TODO: permission to push? Use an action? https://github.com/marketplace/actions/github-push
You can’t perform that action at this time.
0 commit comments