`nohighlight` doesn't work

PJH

Continuing the discussion from shadowmod queries:

@PJH said:

Edit - to stop @RaceProUK moaning.

highlight.js

The Internet's favorite JavaScript syntax highlighter supporting Node.js and the web.

To disable highlighting altogether use the nohighlight class:
<pre><code class="nohighlight">...</code></pre>

At least in preview this didn't...

WITH badge_counts AS (
        SELECT count(*), b.name, u.username
        FROM user_badges ub
        JOIN badges b ON ub.badge_id=b.id
        JOIN users u ON ub.user_id=u.id
        WHERE u.username ILIKE '%onyx%'
        GROUP BY u.username, b.name
        ORDER BY u.username ASC, count(*) DESC
)
SELECT * FROM badge_counts
UNION
SELECT SUM(count), 'Total', username
FROM badge_counts
GROUP BY username
ORDER BY username ASC, count DESC

Onyx

I find that text works.

$php_test = "This should be highlighted";
echo "$php_test but is not.";

See raw as I have no idea how to get triple backtick to show.

aliceif

WITH badge_counts AS (
        SELECT count(*), b.name, u.username
        FROM user_badges ub
        JOIN badges b ON ub.badge_id=b.id
        JOIN users u ON ub.user_id=u.id
        WHERE u.username ILIKE '%onyx%'
        GROUP BY u.username, b.name
        ORDER BY u.username ASC, count(*) DESC
)
SELECT * FROM badge_counts
UNION
SELECT SUM(count), 'Total', username
FROM badge_counts
GROUP BY username
ORDER BY username ASC, count DESC

text works.

Onyx

"username": "Onyx",
"avatar_template": "/user_avatar/what.thedailywtf.com/onyx/{size}/16703.png",
"uploaded_avatar_id": 16703,
"created_at": "2015-03-17T10:47:05.020Z",

 "username": "aliceif",
"avatar_template": "/user_avatar/what.thedailywtf.com/aliceif/{size}/16044.png",
"uploaded_avatar_id": 16044,
 "created_at": "2015-03-17T10:47:05.707Z",

Oh come on!