2 commits

Author	SHA1	Message	Date
Richard Bowman	37f6251d41	Eliminate references to old extensions API ... Some of these will, in the future, be replaced by the new API but, for now, the features in question are disabled anyway.	2024-01-03 14:28:31 +00:00
Kaspar Emanuel	b2eb1e0f05	Rename js directory to webapp	2021-09-16 15:13:19 +01:00