Diverオプションの「その他」では、Diver本体、子テーマ、クイックタグファイルをダウンロードすることができます。
リンクをクリックするだけで簡単にダウンロードできるので、万が一Diverのファイルを失くしてしまったとしても安心ですね。
補足:Diverクリックタグについて
「Diverクイックタグ」とは記事を書く時に役立つショートコード集のファイルです。
例えば、次のようなものを簡単に作ることができます。
お知らせ
警告
利用するためにはプラグイン「AddQuicktag」が必要なので、まずはこちらをダウンロードしましょう。
ダウンロードできたら、AddQuicktagの設定画面を開いて、画面下にある「インポート」-「ファイルを選択」でDiverクイックタグを選んで、インポートします。
Diverのクイックタグファイルはzip形式でダウンロードされるので、解凍してjson形式のファイリをインポートしてください。
インポートできたら保存して設定完了です。
投稿画面を見ると、下の写真のように「Quicktags」という項目が追加されているので、こちらをクリックします。
すると、記事を書く時に役立つ機能が表示されるので、使いたいものを選びましょう。