page_header()

[hee]

I found the page_header function in viewtopic.php. I searched through the file and all of the includes, but could not find where the page_header function is defined. Does anyone know? (I tried a windows search through the files, but the windows search is totally useless. It couldn't even find the text in the viewtopic.php and I know it's there.)

[Crizzo]

Hi,

What do you try to achieve?

[hee]

Hi,

What do you try to achieve?

I want to allow the insertion of equations into posts. There are some extensions available, but none of them work (for me) in 3.3.7.
I worked with the idea and found what should be a really simple javascript solution. The only thing one needs to do to implement it is insert one line of code into the header of the topic page.

[battye]

page_header() is defined here: https://github.com/phpbb/phpbb/blob/3.3 ... .php#L3743

I find using the GitHub search function is a great trick to quickly find a reference if you don't want to open up an IDE (I think Phpstorm is the best search function out there). And another bonus with GitHub is if you get pages of results, normally you can just pick any result, hover over the function name and click the "Definition" button to find where it originated.

[AmigoJack]

using the GitHub search function is a great trick to quickly find a reference if you don't want to open up an IDE

...while I work like 12 years ago: just using a text editor that has a "find in files" feature, preferably with regex available instead of relying on plain text matches only, like on websites. Just search *.PHP files for function page_header. TextPad and Notepad++ can do that.

[hee]

Thanks all.