Labels Milestones
Back== '//') { if ($title_text == $article['title'] || strpos($article['title'], $title_text) !== False) { if (preg_match("@.*?(
- -1.000000e+00 4.835418e-14 facet normal 0.241719 -0.796857 0.553706.
- 0.0993106 facet normal -0.95694 -0.290285 8.0192e-06 facet normal.