Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [orion-dev] HTML Highlighting in PHP Files

This will work if your file has a .phtml extension. A .php file is assumed to be "pure" PHP, so HTML isn't recognized.

But since this php/phtml distinction doesn't seem to be a universal authoring pattern in PHP (are there any?), I opened this bug to make the Codemirror plugin recognize any .(php|phtml) file as mixed content: https://bugs.eclipse.org/bugs/show_bug.cgi?id=394928

Mark


On Thu, Nov 22, 2012 at 1:11 PM, Mike Milinkovich <mike.milinkovich@xxxxxxxxxxx> wrote:

I guess I wasn't very clear.

Yes, I am using the CodeMirror plug-in, and yes it is highlighting the PHP just fine. What I want is it to do HTML highlighting on a file with a .php extension.



From: Ken Walker <Ken_Walker@xxxxxxxxxx>
Date: Thu, 22 Nov 2012 13:04:30 -0500
To: <mike.milinkovich@xxxxxxxxxxx>; Orion developer discussions<orion-dev@xxxxxxxxxxx>
Subject: Re: [orion-dev] HTML Highlighting in PHP Files

Did you try the CodeMirror Mode plugin from the GetPlugins link? Should provide PHP highlighting I believe.

Ken Walker
Co-Lead Eclipse Orion Project | Tools for the Web, On the Web
http://orionhub.org | http://wiki.eclipse.org/Orion
@k_e_n__w | @orionhub




Inactive hide details for "Mike Milinkovich" ---2012/11/22 12:47:31 PM---I'm looking to see if anyone can think of a way to ena"Mike Milinkovich" ---2012/11/22 12:47:31 PM---I'm looking to see if anyone can think of a way to enable HTML highlighting in a PHP file.


    From:

"Mike Milinkovich" <mike.milinkovich@xxxxxxxxxxx>

    To:

<orion-dev@xxxxxxxxxxx>,

    Date:

2012/11/22 12:47 PM

    Subject:

[orion-dev] HTML Highlighting in PHP Files

    Sent by:

orion-dev-bounces@xxxxxxxxxxx




I’m looking to see if anyone can think of a way to enable HTML highlighting in a PHP file.

The reason why is I’m using Orion to edit eclipse.org web pages, many of which are created using the Phoenix templates. So the files have the .php extension, but the bulk of the content is actually HTML.

Any suggestions?

Mike Milinkovich
+1.613.220.3223 (mobile)
mike.milinkovich@xxxxxxxxxxx
_______________________________________________
orion-dev mailing list
orion-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/orion-dev



_______________________________________________
orion-dev mailing list
orion-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/orion-dev


GIF image

GIF image


Back to the top