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

提供: ガンダムWiki
ナビゲーションに移動 検索に移動
(メンテナンス完了)
 
(1版 をインポートしました: メンテナンス情報)
 

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

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

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

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

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

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

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