hphp/test/zend/bad/ext-standard-strings/get_meta_tags.php

   1 <?php
   2
   3 $filename = dirname(__FILE__)."/get_meta_tags.html";
   4
   5 $data = <<<DATA
   6 <meta name="author" content="name">
   7 <meta name="keywords" content="php documentation">
   8 <meta name="DESCRIPTION" content="a php manual">
   9 <meta name="geo.position" content="49.33;-86.59">
  10 </head> <!-- parsing stops here -->
  11 DATA;
  12
  13 $data1 = <<<DATA
  14 <html>
  15     <head>
  16         <meta name="author" content="name">
  17         <meta name="keywords" content="php documentation">
  18         <meta name="DESCRIPTION" content="a php manual">
  19         <meta name="geo.position" content="49.33;-86.59">
  20     </head>
  21     <body>
  22         <meta name="author" content="name1">
  23         <meta name="keywords" content="php documentation1">
  24         <meta name="DESCRIPTION" content="a php manual1">
  25         <meta name="geo.position" content="49.33;-86.591">
  26     </body>
  27 </html>
  28 DATA;
  29
  30 $data2 = <<<DATA
  31 <meta name="author" content="name"
  32 <meta name="keywords" content="php documentation">
  33 DATA;
  34
  35 $data3 = <<<DATA
  36 <meta <meta name="keywords" content="php documentation">
  37 DATA;
  38
  39 $data4 = <<<DATA
  40 <meta name="author" content="name"
  41 <meta name="keywords" content="php documentation"
  42 DATA;
  43
  44 $array = array($data, $data1, $data2, $data3, $data4, "", "<>", "<meta<<<<<");
  45
  46 foreach ($array as $html) {
  47         file_put_contents($filename, $html);
  48         var_dump(get_meta_tags($filename));
  49 }
  50
  51 @unlink($filename);
  52
  53 echo "Done\n";
  54 ?>