MediaWiki  REL1_31
DjVuSupport.php
Go to the documentation of this file.
1 <?php
2 
26 class DjVuSupport {
27 
31  public function __construct() {
33 
34  $wgDjvuRenderer = $wgDjvuRenderer ? $wgDjvuRenderer : '/usr/bin/ddjvu';
35  $wgDjvuDump = $wgDjvuDump ? $wgDjvuDump : '/usr/bin/djvudump';
36  $wgDjvuToXML = $wgDjvuToXML ? $wgDjvuToXML : '/usr/bin/djvutoxml';
37  $wgDjvuTxt = $wgDjvuTxt ? $wgDjvuTxt : '/usr/bin/djvutxt';
38 
39  if ( !in_array( 'djvu', $wgFileExtensions ) ) {
40  $wgFileExtensions[] = 'djvu';
41  }
42  }
43 
49  public function isEnabled() {
51 
52  return is_executable( $wgDjvuRenderer )
53  && is_executable( $wgDjvuDump )
54  && is_executable( $wgDjvuToXML )
55  && is_executable( $wgDjvuTxt );
56  }
57 }
$wgDjvuTxt
$wgDjvuTxt
Path of the djvutxt DJVU text extraction utility Enable this and $wgDjvuDump to enable text layer ext...
Definition: DefaultSettings.php:1546
$wgFileExtensions
$wgFileExtensions
This is the list of preferred extensions for uploading files.
Definition: DefaultSettings.php:889
DjVuSupport\__construct
__construct()
Initialises DjVu tools global with default values.
Definition: DjVuSupport.php:31
$wgDjvuRenderer
$wgDjvuRenderer
Path of the ddjvu DJVU renderer Enable this and $wgDjvuDump to enable djvu rendering example: $wgDjvu...
Definition: DefaultSettings.php:1539
php
injection txt This is an overview of how MediaWiki makes use of dependency injection The design described here grew from the discussion of RFC T384 The term dependency this means that anything an object needs to operate should be injected from the the object itself should only know narrow no concrete implementation of the logic it relies on The requirement to inject everything typically results in an architecture that based on two main types of and essentially stateless service objects that use other service objects to operate on the value objects As of the beginning MediaWiki is only starting to use the DI approach Much of the code still relies on global state or direct resulting in a highly cyclical dependency which acts as the top level factory for services in MediaWiki which can be used to gain access to default instances of various services MediaWikiServices however also allows new services to be defined and default services to be redefined Services are defined or redefined by providing a callback the instantiator that will return a new instance of the service When it will create an instance of MediaWikiServices and populate it with the services defined in the files listed by thereby bootstrapping the DI framework Per $wgServiceWiringFiles lists includes ServiceWiring php
Definition: injection.txt:37
$wgDjvuToXML
$wgDjvuToXML
Path of the djvutoxml executable This works like djvudump except much, much slower as of version 3....
Definition: DefaultSettings.php:1562
global
when a variable name is used in a it is silently declared as a new masking the global
Definition: design.txt:95
DjVuSupport
Initialize and detect the DjVu files support.
Definition: DjVuSupport.php:26
DjVuSupport\isEnabled
isEnabled()
Returns true if the DjVu tools are usable.
Definition: DjVuSupport.php:49
$wgDjvuDump
$wgDjvuDump
Path of the djvudump executable Enable this and $wgDjvuRenderer to enable djvu rendering example: $wg...
Definition: DefaultSettings.php:1532