Labels Milestones
Back{ if (strpos($article["content"], "bonus panel!") !== FALSE) { $xpath = $this->get_xpath_dealie($article['link']); $article['content'] = preg_replace("@
- 6.301707e-01 2.864772e-03 -7.764513e-01 vertex -1.054006e+02 9.695134e+01 1.128175e+01.
- 9.725134e+01 1.024875e+01 facet normal.
- -0.0118632 facet normal -0.991505 0.0943136 0.0895749.