bot 【2022年版】Discordでサーバーの統計を取得する方法
Discordでサーバーを管理していると統計を取りたいと思うことがあります。今回はそんな人向けのDiscordのbotを紹介しますStatbotStatbotは、海外の統計を取得するbotです。個人的に利用していてものすごく便利ですが、課金...
ミルクPC
bot BetterDiscord 【2025年版】Discordを複数入れる方法
何かと便利なDiscord。そんなDiscordですが、人によっては複数のアカウントだったり設定を利用することも。結構使い込んでる人だとBetterDiscordを使ってる人もいると思います。そんなDiscordを複数開く方法を今回はご紹介...
MediaWiki 【2025年版】MediaWikiのVisualEditorでエラーが出る場合の対処法
MediaWikiのVisualEditor(ビジュアルエディター)でError contacting the Parsoid/RESTBase server (HTTP 403)というエラーが出た場合の対処法を今回は紹介します。SSLを削...
MediaWiki 【2025年版】MediaWikiで一部のページにアクセスできないときの対処法【MediaWiki】
MediaWikiをいじっていてとあるページにアクセスしてみるとアクセス不能。エラーが出るわけではなくアクセスできない。スマホでやってみてもプロキシでやってみても無理。とりあえずデータ出力機能で該当のページを出力すると中身はちゃんとある。そ...
ソフトウェア 【2022年版】GeekUninstallerのインストールや使い方
GeekUninstallerというソフトをアンインストールする際にいらないファイルもまとめて削除できるソフトで、私自身ものすごく多用しています。今回はGeekUninstallerのインストール方法や使い方などをまとめました。インストール...
Google Chrome 【2022年版】YouTubeで音声のみを再生する方法【拡張機能】
YouTubeで作業用BGMを流したい。だけど動画だと通信量が多い。音声のみを再生できればいいのにと思ったらものすごくいい拡張機能を見つけました。その拡張機能とは…その拡張機能とはYouTube Video Downloader(YouTu...
サーバー faviconが表示されないときの対処法
favicon(ファビコン)を設定したのに表示されない。私の場合はMediawikiのファビコンを設定したのに表示されなくてめっちゃ困惑しました。キャッシュを削除で解決キャッシュを削除で解決します。Chromeなら左上の←を長押ししてから「...
MediaWiki wikiサービスは結局のところどれがいいのか
wikiサービスはほんとにいろいろありますが、果たしてどれが一番いいのかを自分なりにまとめました。なおwikiサービスは、wikiを無料で使えるようにしているサービスや、wikiのシステム自体どちらでもです。使ったことのあるwikiサービス...
Discord AndroidやiPhoneでDiscordの画面共有中に音声が相手に流れない時の対処法
Discordで画面共有をしている時にゲーム内の音声が流れない・出ないことがあります。そんなときの解決法です。Androidは無理Androidは内部音声録音という機能がないため、内部(ゲーム)の音声を録音(Discordに送る)ことができ...
MediaWiki Mediawikiで.webmや.mp4等の動画ファイルを使う方法
Mediawikiでは動画ファイルを標準で対応してないと思うのですが、自分はそこでものすごい苦労しました。.webmならいけると書いてあるからやってみても失敗…。そんな中見つけた方法をメモっておきます。注意事項以下の点に注意してください。・...