chore: delete unnecessary column permission_id (#5413)

Follows up on #5409 and drops
this column, since it's no longer used.
See: #5409 (comment)

Should only be merged after ~~`5.7`~~ `5.8` has been released.

src/migrations/20240116104456-drop-unused-column-permissionid.js

@@ -0,0 +1,19 @@
+exports.up = function (db, cb) {
+    db.runSql(
+        `
+        ALTER TABLE role_permission
+        DROP COLUMN permission_id;
+        `,
+        cb
+    );
+};
+
+exports.down = function (db, cb) {
+    db.runSql(
+        `
+        ALTER TABLE role_permission
+        ADD COLUMN permission_id INTEGER;
+        `,
+        cb
+    );
+};