ガンダムWiki:メンテナンス情報/2015-05-24
ナビゲーションに移動
検索に移動
- メンテナンス実施日:2015年5月24日
ソフトウェアの更新[ソースを編集]
- PHPをバージョン5.6.9に更新しました。
- MediaWikiをバージョン1.24.2に更新しました。
拡張機能の追加[ソースを編集]
以下の拡張機能を追加しました。
- Scribunto(プログラミング言語Luaの埋め込みを可能にする拡張機能)
- CodeEditor(構文ハイライト機能付きエディタ)