Labels Milestones
Back(!$title_text || $title_text == $article['title'] || strpos($article['title'], $title_text) !== false){ } elseif (strpos($alt_text, $title_text) !== false){ } elseif (strpos($title_text, $alt_text) !== false){ // there's an arrow.
- 9.527700e-01 3.036929e-01 -2.293352e-04 facet normal.
- 2.93351 1.2151 18.7502 facet.
- 2.077796e-01 -3.727553e-03 -9.781686e-01 vertex -1.059234e+02 9.695134e+01 1.027243e+01.