1. <?php // Script 9.4 - reset.php
2.
3. // Delete the cookies:
4. setcookie('font_size', '', time() - 600, '/', '', 0);
5. setcookie('font_color', '', time() - 600, '/', '', 0);
6.
7. ?><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
8. "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
9. <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
10. <head>
11. <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
12. <title>Reset Your Settings</title>
13. </head>
14. <body>
15.
16. <p>Your settings have been reset! Click <a href="view_settings.php">here</a> to go back to the main page.</p>
17.
18. </body>
19. </html>
20.