7 commits

Author	SHA1	Message	Date
J. King	2348786a92	Start on replacing Phake with Phony	2021-02-27 15:24:02 -05:00
J. King	9b369d902f	Update tooling for PHP 8	2021-02-25 14:49:17 -05:00
J. King	9e1087914c	Change tool dependencies to "dev" type	2020-01-20 00:36:42 -05:00
J. King	b3566f8d48	Use Robo to extract zip archive	2019-08-03 22:06:57 -04:00
J. King	7dee5498d8	Procedure for downloading highlight.js ... Currently slightly broken due to a bug in a dependency	2019-08-02 22:34:41 -04:00
J. King	6848f154c0	Update dev dependencies	2017-12-16 17:11:17 -05:00
J. King	4bc3398157	Use Robo for programming task execution ... The plan had originally been to use Bldr, but Bldr's features were not particularly compelling, and it has not been maintained recently. By contrast Robo has very useful features while still meeting my needs. In addition to migrating the build process, the current Robo file also runs unit tests, with or without coverage reporting. Fixes #116; improves #113	2017-12-08 14:37:49 -05:00