The PHP backend for educa