show_redirect_ends 1300 php_opengl/glut/run-tests.php 			show_redirect_ends($IN_REDIRECT['TESTS'], $tested, $tested_file);
show_redirect_ends 1300 php_opengl/opengl/run-tests.php 			show_redirect_ends($IN_REDIRECT['TESTS'], $tested, $tested_file);