4 Commits (fe10bca56b9363f0e63488d1f2b73737e6f20311)

Author	SHA1	Message	Date
Daniel Rudolf	f5c721aba1	phpDocs auto deployment: Fix paths	10 years ago
Daniel Rudolf	76f243f925	Refactor phpDoc deployment ... This should prevent empty phpDoc updates like 55b4a2b	10 years ago
Daniel Rudolf	4be51a7bee	Refactor phpDoc generation	10 years ago
theshka	1dc410425f	Isolate build-related files from source ... * [Changed] rename `phpcs.xml` -> `.phpcs.xml` * [Changed] rename `build/` dir -> `_build/` * [Changed] update paths in `.gitignore` * [Changed] update paths in `.travis.yml` * [Changed] update paths in `.sh` scripts	10 years ago
Daniel Rudolf	54305c4d33	phpDocs auto deployment: Remove pull requests support ... We can deploy phpDocs in safe environments only, but "safe environment" is equivalent to "pull a local branch", therefore we can simply use that local branch to deploy the phpDocs. There's no need for a explicit pull request support.	10 years ago
Daniel Rudolf	45dcf32fa7	phpDocs auto deployment: Support pull requests in a safe environment	10 years ago
Daniel Rudolf	17dbc4cf18	phpDocs auto deployment: Cleanup	10 years ago