aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/lib/plugins/revert/admin.php
diff options
context:
space:
mode:
authorAndreas Gohr <andi@splitbrain.org>2023-08-30 11:45:19 +0200
committerAndreas Gohr <andi@splitbrain.org>2023-08-30 11:45:19 +0200
commit54cc7aa41e0f453bd6887b0e79242a139d84a47a (patch)
tree6f13746d09ac261552de8ab3db1bc1ff13c7a1f0 /lib/plugins/revert/admin.php
parentfe2dcfd59ce1d20fda206fc686ee7860088d80a2 (diff)
downloaddokuwiki-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.php10
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;