MediaWiki 開発時にキャッシュを無効にする
便利なMediaWikiのキャッシュ機能ですが、開発時、構築時には
「あれ?スキンを変更したのに変更されていない…。」
と面食らう原因になります。
開発時ぐらい、無効にしておきましょう。
Localsettings.phpに以下を追加するとキャッシュが無効になります。
$wgCachePages = false; $wgCacheEpoch = 'date +%Y%m%d%H%M%S';
便利なMediaWikiのキャッシュ機能ですが、開発時、構築時には
「あれ?スキンを変更したのに変更されていない…。」
と面食らう原因になります。
開発時ぐらい、無効にしておきましょう。
Localsettings.phpに以下を追加するとキャッシュが無効になります。
$wgCachePages = false; $wgCacheEpoch = 'date +%Y%m%d%H%M%S';
ここでスキンと言っているのは、見た目のことです。
Monobookというスキンがデフォルトになっていますので(Wikipediaのような灰色の砂をまいたような外見)、単に外見を変更するだけならMonobookというスキンを編集しても変更ができます。
ただ、今後Monobookというスキンも残しておきたい場合、別のスキンを作った方がいいですよね。
で、変更する方法です。
基本的に、Mediawikiの外見は、「skins」フォルダの中のCSSとHTMLを出力するPHPプログラムで構成されています。
$wgDefaultSkin = 'demo1';
そのほかのWiki種類
PukiWiki
MediaWiki
Wikipediaで使用されているWiki。
PHP+MySQLで動作。
機能が豊富だが、そのため運営は複雑に。
日本語の情報がまだあまり充実していない。。。
公式サイト(日本語)
http://www.mediawiki.org/wiki/MediaWiki/ja
ダウンロードサイト(日本語)
http://www.mediawiki.org/wiki/Download/ja
OpenStreetMapをAndroidアプリに組み込む
変なタイトルではありますが…。
Mapbox]]は[[OpenStreetMapのデータが使える、きれいな地図です。
Mapboxはドキュメントが充実はしているのですが、どこに何のドキュメントがあるのかわかりにくい!のです。
サンプルは一杯あるんだけど、局地的なサンプルなので、体系的になんか教えてほしい!と思います。
そのため、参考になるページをリンクしておきます。
https://www.mapbox.com/guides/extending-interactivity/
地図を実装したりマーカーを追加したりする初歩的なやり方について教えてくれます。
Mastering layers in Mapbox.js
https://www.mapbox.com/guides/master-web-map-layers/#managing-features
上記は、Mapboxでよくわかりにくいのが、まずL.mapboxというやつ。
Lって何?
と思いますが、LとはLeafletというMapboxの元のような地図のアプリですね。
というような初歩的な疑問に答えてくれるページが上記です。