diff --git a/conf/default.conf.php b/conf/default.conf.php
index ec55ea3814..df9cf35c69 100644
--- a/conf/default.conf.php
+++ b/conf/default.conf.php
@@ -1177,6 +1177,7 @@ return array(
     // '@\\.([^.]+)\\.bak$@' => 1,
 
     '@\.arcconfig$@' => 'js',
+    '@\.divinerconfig$@' => 'js',
   ),
 
   // Set the default monospaced font style for users who haven't set a custom