aboutsummaryrefslogtreecommitdiff
path: root/app/controllers/jsupdater.php
diff options
context:
space:
mode:
authorJan-Hendrik Willms <tleilax+studip@gmail.com>2025-02-27 17:52:55 +0000
committerDavid Siegfried <david.siegfried@uni-vechta.de>2025-02-27 17:52:55 +0000
commit66b21d36cf948d33e38bfc9542334cb93dcba76c (patch)
tree2e9140c3783045e9d8df18796427faca44a53f1e /app/controllers/jsupdater.php
parent59a187ba7383fe22c039f609bbcbeca5620c48f4 (diff)
don't remove only editting user from wiki editor, fixes #4525
Closes #4525 Merge request studip/studip!3967
Diffstat (limited to 'app/controllers/jsupdater.php')
-rw-r--r--app/controllers/jsupdater.php4
1 files changed, 2 insertions, 2 deletions
diff --git a/app/controllers/jsupdater.php b/app/controllers/jsupdater.php
index 679f590..bde2059 100644
--- a/app/controllers/jsupdater.php
+++ b/app/controllers/jsupdater.php
@@ -274,7 +274,7 @@ class JsupdaterController extends AuthenticatedController
if ($page->isEditable()) {
$onlineData = [
'user_id' => $user->id,
- 'page_id' => $page->id
+ 'page_id' => $page->id,
];
$online = WikiOnlineEditingUser::findOneBySQL(
'`user_id` = :user_id AND `page_id` = :page_id',
@@ -307,7 +307,7 @@ class JsupdaterController extends AuthenticatedController
$online->editing_request = false;
$online->editing = true;
}
- } elseif (!$pageInfo['online']) {
+ } else {
$other_users = WikiOnlineEditingUser::countBySql('`page_id` = ? AND `user_id` != ?', [
$page->id,
$user->id,