diff --git a/data/fontrepo/scripts/compile.php b/data/fontrepo/scripts/compile.php
index 094fb18d..43136829 100644
--- a/data/fontrepo/scripts/compile.php
+++ b/data/fontrepo/scripts/compile.php
@@ -1,5 +1,9 @@
 <?php
 
+if ( isset( $_SERVER['REQUEST_METHOD'] ) ) {
+  exit();
+}
+
 $list = array();
 $list['base'] = '../data/fontrepo/fonts/';
 foreach ( glob( '../fonts/*/font.ini' ) as $inifile ) {
@@ -42,4 +46,4 @@ $js = <<<JAVASCRIPT
 	$.webfonts.repository = $json;
 }( jQuery ) );
 JAVASCRIPT;
-file_put_contents( '../../../resources/js/ext.uls.webfonts.repository.js', $js );
\ No newline at end of file
+file_put_contents( '../../../resources/js/ext.uls.webfonts.repository.js', $js );