import 4.code.options;
import 4.code.about;

class Header{

public void title(){

String fullTitle = "/wsg/ - Worksafe GIF";

public void menu();

public void board();

public void goToBottom();

public void refresh(a);

class Thread extends Board{
public void Welcometo/wsg/(OP Anonymous){

String fullTitle = "Welcome to /wsg/";
int postNumber = "957536";
String image = "";
String date = "02/20/16(Sat)17:18:07";
String comment = "1. Please check the Catalog before you post. Popular topics and themes relating to TV shows, people, etc., may already have active threads.
2. Please contribute 3 or more related images when starting a thread.
3. If you know the source of a given image, please provide it in the post.
4. Original content is encouraged, and 'filename threads', post your Xth gif threads are welcome.
5. Remember this is a Work Safe board and Global Rule 5 applies!

/gif/ guide to creating animated gifs

Other helpful links:"

public void comments(){
if(Anonymous && title=="" && postNumber==957539 && dateTime=="02/20/16(Sat)17:20:46")

"Grab ffmpeg from

It's a command line tool which means you will have to type things with your keyboard instead of clicking on buttons.

The most trivial operation would be converting gifs:

ffmpeg -i your_gif.gif -c:v libvpx -crf 12 -b:v 500K output.webm

-crf values can go from 4 to 63. Lower values mean better quality.
-b:v is the maximum allowed bitrate. Higher means better quality.

To convert a part of a video file:

ffmpeg -i your_video.mkv -ss 00:00:10.000 -to 00:00:20.000 -c:v libvpx -crf 4 -b:v 1500K -vf scale=640:-1 -an output.webm

-ss is the start position in number of seconds, or in hh:mm:ss[.xxx] format. You can get it using your video player (Ctrl-G in MPC-HC).
-to is the end position.
-vf scale=640:-1 sets the width to 640px. The height will be calculated automatically according to the aspect ratio of the input.
-an disables audio.

Another encoding guide:
ffmpeg documentation:

WebMConverter by WebMBro: "WebM for retards."

if(Anonymous && title=="" && postNumber==2599619 && dateTime=="01/06/19(Sun)12:38:39")

"Current limits for WebM files on 4chan are:
Maximum file size is 4096KB.
Maximum duration is 300 seconds.
Maximum resolution is 2048x2048 pixels.

Click here to see a detailed guide on how to create webm files.

You can now upload webm files with sound to /wsr/. Please post all requests there.