Revert accidental deletion

Revert accidentally deleted *.php files and a changed *.mo file.