Fix: user viewController::getElementById instead of view::getElementById to...

Fix: user viewController::getElementById instead of view::getElementById to ensure compatibility with PHP < 5.3.8 / libxml < 1.7.7

core/trunk/core/tests/class/ViewController.php

@@ -54,12 +54,7 @@ class ViewController
         
         parent::__construct($view);
         $this->view = $this->document;
-        
-        # Set id attributes in view
-        $ids = $this->query('//*[@id]');
-        for($i=0, $l=$ids->length; $i<$l; $i++)
-            $ids->item($i)->setIdAttribute('id', true);
-        
+               
         return $this->view;
     }
     
@@ -71,12 +66,7 @@ class ViewController
         
         parent::__construct($view);
         $this->view = $this->document;
-        
-        # Set id attributes in view
-        $ids = $this->query('//*[@id]');
-        for($i=0, $l=$ids->length; $i<$l; $i++)
-            $ids->item($i)->setIdAttribute('id', true);
-        
+               
         return $this->view;
     }