Comment

diff --git a/plugins/plugin.php b/plugins/plugin.php
index 4535c1a448e0be5e91f0b8a6ffe4cc329e39296a..35798c981a512e3e73267e9a98e9981a057e905b 100644 (file)
--- a/plugins/plugin.php
+++ b/plugins/plugin.php
@@ -8,7 +8,7 @@
 class AdminerPlugin extends Adminer {
        var $plugins;
        
-       function _findRootClass($class) {
+       function _findRootClass($class) { // is_subclass_of(string, string) is available since PHP 5.0.3
                do {
                        $return = $class;
                } while ($class = get_parent_class($class));