Rename Issue1794.php to src/Issue1794.php