From a48ef6781202111bb5bcb7493644e7635052c638 Mon Sep 17 00:00:00 2001 From: Daniel Rudolf Date: Tue, 2 Aug 2016 23:42:48 +0200 Subject: [PATCH] Default theme (JavaScript): Fix coding standard