diff options
author | Andreas Gohr <andi@splitbrain.org> | 2023-08-30 11:45:19 +0200 |
---|---|---|
committer | Andreas Gohr <andi@splitbrain.org> | 2023-08-30 11:45:19 +0200 |
commit | 54cc7aa41e0f453bd6887b0e79242a139d84a47a (patch) | |
tree | 6f13746d09ac261552de8ab3db1bc1ff13c7a1f0 /lib/plugins/revert/admin.php | |
parent | fe2dcfd59ce1d20fda206fc686ee7860088d80a2 (diff) | |
download | dokuwiki-54cc7aa41e0f453bd6887b0e79242a139d84a47a.tar.gz dokuwiki-54cc7aa41e0f453bd6887b0e79242a139d84a47a.zip |
Apply rector fixes to the rest of lib/plugin
Diffstat (limited to 'lib/plugins/revert/admin.php')
-rw-r--r-- | lib/plugins/revert/admin.php | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/plugins/revert/admin.php b/lib/plugins/revert/admin.php index 2d11dc05a..ad681b393 100644 --- a/lib/plugins/revert/admin.php +++ b/lib/plugins/revert/admin.php @@ -93,10 +93,10 @@ class admin_plugin_revert extends DokuWiki_Admin_Plugin $data = ''; $pagelog = new PageChangeLog($id); $old = $pagelog->getRevisions(0, $this->max_revs); - if (count($old)) { + if ($old !== []) { foreach ($old as $REV) { $data = rawWiki($id, $REV); - if (strpos($data, $filter) === false) break; + if (strpos($data, (string) $filter) === false) break; } } @@ -133,7 +133,7 @@ class admin_plugin_revert extends DokuWiki_Admin_Plugin $cnt = 0; foreach ($recents as $recent) { if ($filter) { - if (strpos(rawWiki($recent['id']), $filter) === false) continue; + if (strpos(rawWiki($recent['id']), (string) $filter) === false) continue; } $cnt++; @@ -146,7 +146,7 @@ class admin_plugin_revert extends DokuWiki_Admin_Plugin echo ' <label for="revert__'.$cnt.'">'.$date.'</label> '; echo '<a href="'.wl($recent['id'], "do=diff").'">'; - $p = array(); + $p = []; $p['src'] = DOKU_BASE.'lib/images/diff.png'; $p['width'] = 15; $p['height'] = 11; @@ -157,7 +157,7 @@ class admin_plugin_revert extends DokuWiki_Admin_Plugin echo '</a> '; echo '<a href="'.wl($recent['id'], "do=revisions").'">'; - $p = array(); + $p = []; $p['src'] = DOKU_BASE.'lib/images/history.png'; $p['width'] = 12; $p['height'] = 14; |