Manual:$wgDjvuOutputExtension/ja

From MediaWiki.org
Jump to: navigation, search
DjVu: $wgDjvuOutputExtension
DJVUポストプロセッサの出力ファイルの拡張子。
導入されたバージョン: 1.10.0(r20868)
削除されたバージョン: 使用中
可能な値: (string)
デフォルトの値: 'jpg'

他の設定: アルファベット順 | 機能順


[edit] 詳細

DJVUポストプロセッサの出力ファイルの拡張子。

[edit] 関連項目

言語: English  • 日本語
Retrieved from "http://www.mediawiki.org/w/index.php?title=Manual:$wgDjvuOutputExtension/ja&oldid=213804"
Personal tools
Namespaces
Variants
Actions
Site
Support
Download
Development
Communication
Print/export
Toolbox