diff --git a/workers/get-user-flags.php b/workers/get-user-flags.php new file mode 100755 index 000000000..aae94cffe --- /dev/null +++ b/workers/get-user-flags.php @@ -0,0 +1,25 @@ +#!/usr/bin/env php +exists()) { + echo "no such user: '$uid'\n"; + exit(1); +} +$max_flag_strlen = max(array_map(fn($x) => strlen($x->value), UserFlag::cases())); +foreach (UserFlag::cases() as $flag) { + if ($user->getFlag($flag)) { + echo str_pad($flag->value, $max_flag_strlen, " ", STR_PAD_RIGHT) . " 1\n"; + } else { + echo str_pad($flag->value, $max_flag_strlen, " ", STR_PAD_RIGHT) . " 0\n"; + } +} + diff --git a/workers/set-user-flag.php b/workers/set-user-flag.php new file mode 100755 index 000000000..13ed8156d --- /dev/null +++ b/workers/set-user-flag.php @@ -0,0 +1,45 @@ +#!/usr/bin/env php +exists()) { + echo "no such user: '$uid'"; + exit(1); +} +$user->setFlag($flag, $value); +