type hints and cleanup
commit44c2bd91277fa8bfa38173548032293a8957917d
authorAndreas Gohr <andi@splitbrain.org>
Wed, 25 Nov 2020 20:49:23 +0000 (25 21:49 +0100)
committerAndreas Gohr <andi@splitbrain.org>
Wed, 25 Nov 2020 20:49:23 +0000 (25 21:49 +0100)
tree155aa78110914d0ffec90d246ce48c6c1fd4499a
parent2bf5aa0cc82460a30630dd5d3b33229aa2b56256
type hints and cleanup
lib/plugins/usermanager/cli.php