The source of lightning-app, a PHP-based web app.