Mediawiki Tips

アクセス制限

メンバー専用の場合のアクセス制限。

# すべての利用者に対して編集権限を無効にする（登録ユーザーはok）
$wgGroupPermissions['*']['edit'] = false;
# 管理者による設定以外で新しい利用者の登録を制限する
$wgGroupPermissions['*']['createaccount'] = false;

アップロードできるファイルサイズ制限を変更する

/etc/httpd/php.iniのpost_max_sizeとupload_max_filesizeの値を変更する。 デフォルトでは以下のようになっている。 728行目：

post_max_size = 8M

879行目：

upload_max_filesize = 2M

SNS用のシェアボタン

• Extension:Add to Any Share/Save/Bookmark Button

テーブルがクラッシュ

MySQLからMariaDBにしたら、wikiの検索がうまくいかなくなって、MariaDBのログを確認したら、

150226 17:16:49 [ERROR] mysqld: Table './wikidb/mw_searchindex' is marked as crashed and should be repaired

というエラーが出ていた。

repair tableをしたら直った。

# mysql -u root -p
MariaDB [(none)]> use wikidb
Reading table information for completion of table and column names
You can turn off this feature to get a quicker startup with -A

Database changed

MariaDB [wikidb]> repair table mw_searchindex;
+-----------------------+--------+----------+----------+
| Table                 | Op     | Msg_type | Msg_text |
+-----------------------+--------+----------+----------+
| wikidb.mw_searchindex | repair | status   | OK       |
+-----------------------+--------+----------+----------+
1 row in set (0.26 sec)

インターウィキ用のアップデート

インターウィキを使っている場合のアップデートスクリプトをとりあえず以下のようにしているが、もっと上手いやり方があったような気がする。

mv LocalSettings.php LocalSettings.php.bak
ln -sf LocalSettings_ja.php LocalSettings.php
php maintenance/update.php
ln -sf LocalSettings_en.php LocalSettings.php
php maintenance/update.php
ln -sf LocalSettings_fr.php LocalSettings.php
php maintenance/update.php
unlink LocalSettings.php
mv LocalSettings.php.bak LocalSettings.php

最終更新時を表示する

LastModifiedエクステンションを有効にすれば、記事の最終更新時をページ上部に表示するようになる。 情報が古くなっていることをお知らせできる。

このWikiも情報が古い記事が増えてきてしまったので有効にした。