Create stubs.php