|
|
``<?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.
|
... | ... | @@ -267,4 +268,3 @@ $wgDjvuRenderer = "ddjvu"; |
|
|
$wgDjvuTxt = "djvutxt";
|
|
|
$wgDjvuPostProcessor = "pnmtojpeg";
|
|
|
$wgDjvuOutputExtension = 'jpg'; |
|
|
`` |
|
|
\ No newline at end of file |