Yeah, the dump server says what is not reflecting in the database: 3 records differ in before and after and obviously the afteris coming from the db but in phpmyAdmin, there are no changes in the table and when I fetch all the resources again, the old order is still there. I don't get it!
First I thought I am somehow on the wrong server or wrong database but this is not the case. Is it possible that there is some kind of buffering issue? Here's an export of the table with 15 records, maybe there's something not right with it:
CREATE TABLE IF NOT EXISTS `tool_user` (
`id` int(10) UNSIGNED NOT NULL AUTO_INCREMENT,
`user_id` int(10) UNSIGNED NOT NULL,
`tool_id` varchar(64) CHARACTER SET utf8mb4 COLLATE utf8mb4_unicode_ci NOT NULL,
`tool_order` smallint(5) UNSIGNED NOT NULL DEFAULT '0',
PRIMARY KEY (`id`),
KEY `fk_tool_user_user_id_idx` (`user_id`),
KEY `fk_tool_user_tool_id_idx` (`tool_id`)
) ENGINE=InnoDB AUTO_INCREMENT=159 DEFAULT CHARSET=utf8mb4 COLLATE=utf8mb4_unicode_ci;
INSERT INTO `tool_user` (`id`, `user_id`, `tool_id`, `tool_order`) VALUES
(24, 19, '1122', 4),
(25, 19, '1121', 3),
(26, 19, '1123', 5),
(27, 19, '1124', 6),
(28, 19, '1125', 7),
(29, 19, '1126', 8),
(31, 19, '1133', 10),
(36, 19, '1150', 11),
(37, 19, '1153', 12),
(39, 19, '1156', 14),
(42, 19, '1114', 2),
(45, 19, '1110', 1),
(50, 19, '1132', 9),
(51, 20, '1126', 0),
(53, 20, '1123', 0);