Derick Rethans 590f92bb34 Remove the GitHub repository management tool
This tool is no longer in use, and it is also not working.
2026-01-20 11:41:44 +00:00
2021-01-30 13:18:46 -08:00
2022-07-18 22:25:22 +02:00
2025-08-18 10:13:16 +01:00
2025-08-06 16:40:58 +01:00
2022-07-18 22:25:22 +02:00
2021-04-11 21:56:50 +02:00

PHP user management system

Docker

docker-compose up --build

You can reset the data volumes using docker-compose down -v.

Manual

git submodule update --init

# Create database and users:
CREATE DATABASE phpmasterdb;
CREATE USER 'nobody'@'localhost';
GRANT ALL PRIVILEGES ON phpmasterdb.* TO 'nobody'@'localhost';

# Create tables
mysql -unobody phpmasterdb < schema.sql

# Create user test:test
INSERT INTO users (username, svnpasswd, cvsaccess) VALUES ('test', '$2y$10$iGHyxmfHI62Xyr3DPf8faOPCvmU1UMVMlhJQ/FqooqgPJ3STMHTyG', 1);

# Run server (must have mysql ext)
php -S localhost:8000 -d include_path="$PWD/include/" -derror_reporting="E_ALL&~E_DEPRECATED" -t public
Description
⚠️ ARCHIVED: Original GitHub repository no longer exists. Preserved as backup on 2026-01-22T16:26:16.017Z
Readme 4.5 MiB
Languages
PHP 93.9%
JavaScript 6%