Manual:$wgScriptExtension/ja

From MediaWiki.org

Paths: $wgScriptExtension
デフォルトでスクリプト名に追加する拡張子。
導入されたバージョン:	1.11.0
削除されたバージョン:	使用中
可能な値:	(string)
デフォルトの値:	'.php'

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

[edit] 詳細

デフォルトでスクリプト名に追加する拡張子。