|
|
''
|
|
|
<?php
|
|
|
``<?php
|
|
|
# This file was automatically generated by the MediaWiki 1.35.2
|
|
|
# installer. If you make manual changes, please keep track in case you
|
|
|
# need to recreate them later.
|
... | ... | @@ -268,4 +267,4 @@ $wgDjvuRenderer = "ddjvu"; |
|
|
$wgDjvuTxt = "djvutxt";
|
|
|
$wgDjvuPostProcessor = "pnmtojpeg";
|
|
|
$wgDjvuOutputExtension = 'jpg';
|
|
|
'' |
|
|
\ No newline at end of file |
|
|
`` |
|
|
\ No newline at end of file |