#130 new
Joshua Halickman

HTML lang file says it is used for PHP

Reported by Joshua Halickman | December 30th, 2010 @ 09:55 PM

What I did: opened a PHP file with out UTI set to nil.

What I expected to happen: Text to be colored as PHP

What actually happened: Text was colored as HTML.

At the top of html.lang it has
php as an option for @matchext
and <\?(?i:php) as an option for @matchfirstline

This causes the lang to be set to HTML instead of PHP even though there is a PHP lang file.

Comments and changes to this ticket

  • Joshua Halickman

    Joshua Halickman December 30th, 2010 @ 09:56 PM

    Here is the diff:

    diff --git a/resources/lang/html.lang b/resources/lang/html.lang
    index fddddfd..4391e74 100644
    --- a/resources/lang/html.lang +++ b/resources/lang/html.lang @@ -1,6 +1,6 @@ # @name HTML -# @matchext html, htm, shtml, xhtml, phtml, php, inc, tmpl, tpl, ctp -# @matchfirstline <!DOCTYPE|<(?i:html)|<\?(?i:php) +# @matchext html, htm, shtml, xhtml, phtml, inc, tmpl, tpl, ctp +# @matchfirstline <!DOCTYPE|<(?i:html)]

    # deal with embedded CSS state keyword = "<style" nonsensitive begin

  • PGSLOTCZ

    PGSLOTCZ April 11th, 2022 @ 08:03 AM

    Link PGSLOTทุกวันนี้ถ้าพูดถึงสล็อตออนไลน์คงไม่มีใครไม่รู้จักแล้ว ครูในรัสเซียตะวันตกอยู่ภายใต้การสอบสวนทางอาญาตั้งแต่ปลายเดือนมีนาคมที่ผ่านมาเนื่องจากแสดงความคิดเห็นต่อต้านสงครามในห้องเรียนที่นักเรียนบันทึกอย่างลับๆ ตามการสัมภาษณ์เมื่อวันที่ 7 เมษายนทาง Radio Liberty

  • znn.yyy

    znn.yyy May 29th, 2022 @ 10:09 AM

    สล็อต pg ทดลองเล่น พร้อมดู wetv เล่นเกมสล็อตออนไลน์ ได้เงินจริง เล่นได้ตลอดเเม้ จะดูซีรียืใน wetv อยู่ก็ตาม สมัครเเล้วเข้าไปเล่นได้เลย สล็อต pgslot ทดลองเล่น ได้เเล้วทุกวัน

  • Jack213

    Jack213 August 10th, 2022 @ 02:08 PM

    Punjab National bank is well known in India due to its vast banking services and millions of customers who have their trust in the bank, PNB net banking login and they don’t just have branches across India but are well known all across the world with thousands of bank branches, customers across the seas as well. In this article, we will be talking about the requirements for customers to get PNB net banking and then show you how easy it is to register for the Internet banking service right away, and at the same time we will also discuss the way in which you can log into your PNB net banking account and we also have a guide to help you reset PNB login password which forgotten as well.

  • golf

    golf October 15th, 2022 @ 07:24 AM

    แน่นอนว่า เมื่อเราได้นำเข้า lavagame เกม สล็อต pg เว็บ ตรง ก็ได้รับการตอบรับเป็นอย่างดี จากผู้เล่น ที่ชื่นชอบในเกมสล็อตออนไลน์ และหากคุณเป็นผู้เล่นใหม่ ไม่รู้ว่าจะเลือกเกม lavagame ไหนดี วันนี้ เราได้นำ 3 อันดับ เกมสล็อต ที่มาแรงมากที่สุดใน lava slot ของเรา เพื่อให้คุณได้ดูเป็นตัวอย่างก่อนตัดสินใจเล่น lava game slot ทางเข้า

Please Sign in or create a free account to add a new ticket.

With your very own profile, you can contribute to projects, track your activity, watch tickets, receive and update tickets through your email and much more.

New-ticket Create new ticket

Create your profile

Help contribute to this project by taking a few moments to create your personal profile. Create your profile »

A text editor for Mac OS X

People watching this ticket

Pages