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

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

ソフトウェアの更新編集

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

拡張機能の追加編集

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

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