Fixes #4047 Just removing the test as it is actually not useful anymore (the manifest.inc.php test that follows is doing the job). thanks for the report!