Sirius: A modular, contract-driven PHP web framework