ガンダムWiki:メンテナンス情報/2015-05-24

提供: ガンダムWiki
ナビゲーションに移動 検索に移動
  • メンテナンス実施日:2015年5月24日

ソフトウェアの更新[ソースを編集]

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

拡張機能の追加[ソースを編集]

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

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