1PHP user management system 2========================== 3 4Local setup: 5 6```shell 7# TODO: This is supposed to be submodule, but not actually registered as one. 8git clone git@github.com:php/web-shared.git shared 9 10# Create database and users: 11CREATE DATABASE phpmasterdb; 12CREATE USER 'nobody'@'localhost'; 13GRANT ALL PRIVILEGES ON phpmasterdb.* TO 'nobody'@'localhost'; 14 15# Create tables 16mysql -unobody phpmasterdb < users.sql 17 18# Create user test:test 19INSERT INTO users (username, svnpasswd, cvsaccess) VALUES ('test', 'd45a6c7dfc5b0dbb3567e28900d47f50', 1); 20 21# Run server (must have mysql ext) 22php -S localhost:8000 -d include_path="include/" -derror_reporting="E_ALL&~E_DEPRECATED" 23```
