includes/media/GIF.php

   1 <?php
   2 /**
   3  * @file
   4  * @ingroup Media
   5  */
   6
   7 /**
   8  * Handler for GIF images.
   9  *
  10  * @ingroup Media
  11  */
  12 class GIFHandler extends BitmapHandler {
  13
  14         function getMetadata( $image, $filename ) {
  15                 if ( !isset($image->parsedGIFMetadata) )
  16                         $image->parsedGIFMetadata = GIFMetadataExtractor::getMetadata( $filename );
  17
  18                 return serialize($image->parsedGIFMetadata);
  19
  20         }
  21
  22         function formatMetadata( $image ) {
  23                 return false;
  24         }
  25
  26         function getImageArea( $image, $width, $height ) {
  27                 $metadata = unserialize($image->getMetadata());
  28                 return $width * $height * $metadata['frameCount'];
  29         }
  30
  31         function getMetadataType( $image ) {
  32                 return 'parsed-gif';
  33         }
  34
  35         function getLongDesc( $image ) {
  36                 global $wgUser, $wgLang;
  37                 $sk = $wgUser->getSkin();
  38
  39                 $metadata = unserialize($image->getMetadata());
  40
  41                 $info = array();
  42                 $info[] = $image->getMimeType();
  43                 $info[] = $sk->formatSize( $image->getSize() );
  44
  45                 if ($metadata['looped'])
  46                         $info[] = wfMsgExt( 'file-info-gif-looped', 'parseinline' );
  47
  48                 if ($metadata['frameCount'] > 1)
  49                         $info[] = wfMsgExt( 'file-info-gif-frames', 'parseinline', $metadata['frameCount'] );
  50
  51                 if ($metadata['duration'])
  52                         $info[] = $wgLang->formatTimePeriod( $metadata['duration'] );
  53
  54                 $infoString = $wgLang->commaList( $info );
  55
  56                 return "($infoString)";
  57         }
  58 }