diff options
author | Umherirrender <umherirrender_de.wp@web.de> | 2024-12-06 21:08:42 +0100 |
---|---|---|
committer | Umherirrender <umherirrender_de.wp@web.de> | 2024-12-06 22:19:35 +0000 |
commit | 2afe09a588b79e5567f31ac9b6be86e5bf2709c9 (patch) | |
tree | 108b2c0f3c3b51ebf5597320b4a6c2265c95abb0 /includes/diff/TextDiffer/Wikidiff2TextDiffer.php | |
parent | c1eefaac810d06fd01ee58d9245f1aeed31f43c3 (diff) | |
download | mediawikicore-2afe09a588b79e5567f31ac9b6be86e5bf2709c9.tar.gz mediawikicore-2afe09a588b79e5567f31ac9b6be86e5bf2709c9.zip |
page: Skip InsertQueryBuilder when there are no protections in MovePage
When there is nothing to insert,
do not create and execute the query builder
Avoid an exception when something is out of sync and no rows are found
Bug: T381643
Change-Id: Ie1201816d44a8f6263940647c8d1cc04fb272ac6
Diffstat (limited to 'includes/diff/TextDiffer/Wikidiff2TextDiffer.php')
0 files changed, 0 insertions, 0 deletions