-function wfScaleSVGUnit( $length ) {
- static $unitLength = array(
- 'px' => 1.0,
- 'pt' => 1.25,
- 'pc' => 15.0,
- 'mm' => 3.543307,
- 'cm' => 35.43307,
- 'in' => 90.0,
- '' => 1.0, // "User units" pixels by default
- '%' => 2.0, // Fake it!
- );
- $matches = array();
- if( preg_match( '/^\s*(\d+(?:\.\d+)?)(em|ex|px|pt|pc|cm|mm|in|%|)\s*$/', $length, $matches ) ) {
- $length = floatval( $matches[1] );
- $unit = $matches[2];
- return round( $length * $unitLength[$unit] );
- } else {
- // Assume pixels
- return round( floatval( $length ) );
- }
-}
-
-class XmlSizeFilter {
- var $first = true;
- var $width = 256;
- var $height = 256;
- function filter( $name, $attribs ) {
- if( $this->first ) {
- if( isset( $attribs['width'] ) ) {
- $this->width = wfScaleSVGUnit( $attribs['width'] );
- }
- if( isset( $attribs['height'] ) ) {
- $this->height = wfScaleSVGUnit( $attribs['height'] );
- }
- $this->first = false;
- }
- }
-}
-
-/**
- * Compatible with PHP getimagesize()
- * @todo support gzipped SVGZ
- * @todo check XML more carefully
- * @todo sensible defaults
- *
- * @param $filename String: full name of the file (passed to php fopen()).
- * @return array
- */
-function wfGetSVGsize( $filename ) {
- $filter = new XmlSizeFilter();
- $xml = new XmlTypeCheck( $filename, array( $filter, 'filter' ) );
- if( $xml->wellFormed ) {
- return array( $filter->width, $filter->height, 'SVG',
- "width=\"$filter->width\" height=\"$filter->height\"" );
- }
-
- return false;
-}