From 61efe37c1ce9fa7fb92ac736aecfe72b91cec339 Mon Sep 17 00:00:00 2001
From: Casey Peel <cpeel@users.noreply.github.com>
Date: Tue, 21 Apr 2026 15:52:39 -0700
Subject: [PATCH] Delete page-related events records

When deleting a page, we should delete all related events records
too.
---
 tools/project_manager/page_operations.inc | 21 +++++++++++++++++++--
 1 file changed, 19 insertions(+), 2 deletions(-)

diff --git a/tools/project_manager/page_operations.inc b/tools/project_manager/page_operations.inc
index f7dbd10d1a..20bb99f5f1 100644
--- a/tools/project_manager/page_operations.inc
+++ b/tools/project_manager/page_operations.inc
@@ -21,12 +21,29 @@ function page_del($projectid, $image)
         return _("There is no page with that imagename.");
     }
 
+    // Delete related page records from events tables.
+    // Note that we don't delete the page_events records to retain the fact
+    // that this page at one point existed and had operations done against it.
+    // Indeed, the delete operation below will add a delete event_type.
+    foreach (["wordcheck_events", "format_preview_events"] as $table_name) {
+        $query = sprintf(
+            "
+            DELETE FROM %s
+            WHERE projectid = '%s' AND image = '%s'
+            ",
+            $table_name,
+            DPDatabase::escape($projectid),
+            DPDatabase::escape($image)
+        );
+        DPDatabase::query($query);
+    }
+
     global $pguser;
     Page_delete($projectid, $image, $pguser);
 
     // Delete the image file from the project directory.
-    global $projects_dir;
-    $image_path = "$projects_dir/$projectid/$image";
+    $project = new Project($projectid);
+    $image_path = "$project->dir/$image";
     if (! unlink($image_path)) {
         return sprintf(_('Unable to remove file %s'), $image_path);
     }