Labels Milestones
Back(preg_match("@.*()@", $article['content'], $matches)) { if (strpos($article["content"], "bonus panel!") !== FALSE) .
- -7.498157e-001 -3.157800e-003 6.616392e-001 vertex 4.114986e+000 2.357309e+000 2.488918e+001.
- -5.080607e-01 -3.157564e-04 vertex -1.036795e+02 9.542199e+01 2.655000e+01 facet.