「TYPE-MOON Wiki:メンテナンス情報/2015-05-24」の版間の差分

提供: TYPE-MOON Wiki
ナビゲーションに移動 検索に移動
(メンテナンス完了)
(相違点なし)

2015年5月24日 (日) 14:08時点における版

  • メンテナンス実施日:2015年5月24日

ソフトウェアの更新

  • PHPをバージョン5.6.9に更新しました。
  • MediaWikiをバージョン1.24.2に更新しました。

拡張機能の追加

以下の拡張機能を追加しました。

  • Scribunto(プログラミング言語Luaの埋め込みを可能にする拡張機能)
  • CodeEditor(構文ハイライト機能付きエディタ)