[gtksourceview] php.lang: set line-comment-start to // instead of #

[Sébastien Wilmet <swilmet src gnome org>]

commit c898605e66b70f9c50d63f009124915a3124bf08
Author: Mark van Kernebeek <mark vankernebeek net>
Date:   Sun Nov 13 14:34:57 2016 +0100

    php.lang: set line-comment-start to // instead of #
    
    Using // to comment a line seems to be most widely used and the use of #
    is discouraged by pear:
    http://pear.php.net/manual/en/standards.comments.php
    
    https://bugzilla.gnome.org/show_bug.cgi?id=774358

 data/language-specs/php.lang |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/data/language-specs/php.lang b/data/language-specs/php.lang
index eeefe25..d01587d 100644
--- a/data/language-specs/php.lang
+++ b/data/language-specs/php.lang
@@ -30,7 +30,7 @@
   <metadata>
     <property 
name="mimetypes">text/x-php;application/x-php;text/x-php-source;application/x-php-source</property>
     <property name="globs">*.php;*.php3;*.php4;*.phtml</property>
-    <property name="line-comment-start">#</property>
+    <property name="line-comment-start">//</property>
     <property name="block-comment-start">/*</property>
     <property name="block-comment-end">*/</property>
   </metadata>