PHP get_browser function to detect user’s OS and browser details

I’ve just lost a day because of this stupid browser_name_regex property: e.g. “§^mozilla/5\.0 \(.*windows nt 6\.1.*wow64.*\) gecko/.* firefox/29\.0.*$§” To replicate the issue and work around bloody ‘§’ character, please see below. Whose idea was it to use that character?!