DjVuSupport.php

Go to the documentation of this file.

<?php
 
class DjVuSupport {
 
    public function __construct() {
        global $wgDjvuRenderer, $wgDjvuDump, $wgDjvuToXML, $wgFileExtensions, $wgDjvuTxt;
 
        $wgDjvuRenderer = $wgDjvuRenderer ? $wgDjvuRenderer : '/usr/bin/ddjvu';
        $wgDjvuDump = $wgDjvuDump ? $wgDjvuDump : '/usr/bin/djvudump';
        $wgDjvuToXML = $wgDjvuToXML ? $wgDjvuToXML : '/usr/bin/djvutoxml';
        $wgDjvuTxt = $wgDjvuTxt ? $wgDjvuTxt : '/usr/bin/djvutxt';
 
        if ( !in_array( 'djvu', $wgFileExtensions ) ) {
            $wgFileExtensions[] = 'djvu';
        }
    }
 
    public function isEnabled() {
        global $wgDjvuRenderer, $wgDjvuDump, $wgDjvuToXML, $wgDjvuTxt;
 
        return is_executable( $wgDjvuRenderer )
            && is_executable( $wgDjvuDump )
            && is_executable( $wgDjvuToXML )
            && is_executable( $wgDjvuTxt );
    }
}