Gli script di greasemonkey sono Javascript, non PHP. Sposto.