MediaWiki

【MediaWiki】さくらのレンタルサーバーでSVGを使う方法

前回の記事にものすごく関連する記事ですが、せっかくなので書きました。 SVGConverterは使えない MediaWikiの公式HPではSVGConverterの利用が推奨されており、ImageMagickやbatikなどが...
MediaWiki

【2022年版】MediaWikiでSVGファイルを表示する方法

MediaWikiでSVGを表示させるためだけにものすごい時間をかけました。せっかくなのでまとめておきます。 NativeSvgHandler拡張機能を導入する NativeSvgHandlerというサーバー側でSVGの処理を...
bot

【2022年版】Discordでサーバーの統計を取得する方法

Discordでサーバーを管理していると統計を取りたいと思うことがあります。今回はそんな人向けのDiscordのbotを紹介します Statbot Statbotは、海外の統計を取得するbotです。個人的に利用していてものすご...
BetterDiscord

【2022年版】Discordを複数入れる方法

何かと便利なDiscord。そんなDiscordですが、人によっては複数のアカウントだったり設定を利用することも。結構使い込んでる人だとBetterDiscordを使ってる人もいると思います。そんなDiscordを複数開く方法を今回はご紹...
MediaWiki

【2022年版】MediaWikiのVisualEditorでエラーが出る場合の対処法

MediaWikiのVisualEditor(ビジュアルエディター)で Error contacting the Parsoid/RESTBase server (HTTP 403) というエラーが出た場合の対処法 Vi...
MediaWiki

【2022年版】MediaWikiで一部のページにアクセスできないときの対処法【MediaWiki】

MediaWikiをいじっていてとあるページにアクセスしてみるとアクセス不能。エラーが出るわけではなくアクセスできない。スマホでやってみてもプロキシでやってみても無理。とりあえずデータ出力機能で該当のページを出力すると中身はちゃんとある。...
ソフトウェア

【2022年版】GeekUninstallerのインストールや使い方

GeekUninstallerというソフトをアンインストールする際にいらないファイルもまとめて削除できるソフトで、私自身ものすごく多用しています。今回はGeekUninstallerのインストール方法や使い方などをまとめました。 イ...
Google Chrome

【2022年版】YouTubeで音声のみを再生する方法【拡張機能】

YouTubeで作業用BGMを流したい。だけど動画だと通信量が多い。音声のみを再生できればいいのにと思ったらものすごくいい拡張機能を見つけました。 その拡張機能とは… その拡張機能とはYouTube Video Downloa...
Google Chrome

【2022年版】YouTubeビデオダウンローダー拡張機能のダウンロード方法

YouTubeの動画を保存したいけどいちいちダウンロードサイトに行ってURL貼るのもめんどう。そんなときに活躍するのがYouTube Video Downloader(YouTubeビデオダウンローダー)という拡張機能です。 You...
サーバー

faviconが表示されないときの対処法

favicon(ファビコン)を設定したのに表示されない。私の場合はMediawikiのファビコンを設定したのに表示されなくてめっちゃ困惑しました。 キャッシュを削除で解決 キャッシュを削除で解決します。 Chro...
タイトルとURLをコピーしました