mediawikiでskinの作成

2012/10/10
とりあえず「monobook」というskinと同じ内容で「sample」という名称にする。

流れは下記のような感じ。

  • 「/skins/」内のデータのコピー
  • 「/skins/」フォルダ内のコピーしたデータの修正
  • 「/resources/Resources.php」の修正
  • 「/LocalSettings.php」の修正

「skins/」内のデータのコピー

「/skins/MonoBook.php」を複製して「skins/Sample.php」とする。
「/skins/MonoBook.deps.php」を複製して「skins/Sample.deps.php」とする。
「/skins/monobook」を複製して「skins/sample」とする。

「skins/」フォルダ内のコピーしたデータの修正

「/skins/Sample.php」内にある「MonoBook」を「Sample」、「monobook」を「sample」に置き換え。

「/resources/Resources.php」の修正

「Resources.php」内で「MonoBook」「monobook」で検索して同じような感じで「sample」「Sample」を追加。

「/LocalSettings.php」の修正

$wgDefaultSkinの値を「sample」にする。($wgDefaultSkin = "sample";)

まとめ
mediawikiでskinの複製

新着(ニュース関連以外)

2018-07-26
年賀状で「新春」とか書くけど・・・何故なんだろうと8月を目前にした今、疑問に思った。
2018-05-16
PHPで画像のヘッダ情報(?)の「Orientation」を元に画像回転させたい。
2018-03-05
Android Studioをインストール。エミュレータを軽くするトコまで終わらせたかったけど、挫折した。
2018-02-23
プッシュ通知について調べてた時にでてきたServiceWorker。そのServiceWorkerについてのメモ。
2017-12-13
jqueryで取得したDOM要素をオブジェクトじゃなくて、配列で受け取りたい