diff --git a/lib/classes/plugin_manager.php b/lib/classes/plugin_manager.php
index cc6769ce415..348adef1fad 100644
--- a/lib/classes/plugin_manager.php
+++ b/lib/classes/plugin_manager.php
@@ -904,7 +904,7 @@ class plugin_manager {
             $reqs->hasver = $otherplugin->versiondisk;
             $reqs->reqver = $requiredversion;
             // Check it has sufficient version.
-            if ($requiredversion == ANY_VERSION | $otherplugin->versiondisk >= $requiredversion) {
+            if ($requiredversion == ANY_VERSION || $otherplugin->versiondisk >= $requiredversion) {
                 $reqs->status = self::REQUIREMENT_STATUS_OK;
             } else {
                 $reqs->status = self::REQUIREMENT_STATUS_OUTDATED;