diff options
| author | 2017-07-22 20:23:53 +0200 | |
|---|---|---|
| committer | 2017-07-22 20:23:53 +0200 | |
| commit | e6fadbe58094dec2d085564dd67505c2cc2cd184 (patch) | |
| tree | 7b99e1d57ca610d08409830eebd81bcbad84097b | |
| parent | e046791c9330ee80580494b8fce3f5fc0bf08f98 (diff) | |
+x execution rights update-user
| -rwxr-xr-x[-rw-r--r--] | cli/update-user.php | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/cli/update-user.php b/cli/update-user.php index 5f3335f2e..5f3335f2e 100644..100755 --- a/cli/update-user.php +++ b/cli/update-user.php |
