You can find this documentation page on GitHub. Propose a change
Documentation
The PHP-CPP library is fully documented. See the menu on the left for instructions how to install PHP-CPP on your server and how to create your own first extension.
The documentation - and in fact the entire library - is a work in progress. If you find any bugs, mistakes or when you see that important information is missing, please let us know via GitHub.
Found a typo?
You can find this documentation page on GitHub. Propose a change
';
}
$("#prev_next").html(html);
}
$(document).ready(function(){
var prev_found = null;
var prev = null;
links = $(".sub-nav a");
links.each(function(idx, el){
var curr = $(el).attr("href");
if(prev_found) {
// the path of the current page has been already processed,
// so curr is necessarily the next page, assuming that
// the loop ends here
set_prev_next(prev_found, curr);
return false; // this will break the loop
}
if(curr == location.pathname) {
// the path in the list being examined is the path of the page currently loaded
if(idx >= 1) {
prev_found = prev;
} else {
// the url of this page is the first in the list, hence,
// there is no "prev" page. Setting current page as "previous"
prev_found = curr;
}
}
if( idx == ( links.length - 1 ) ) {
// the url being examined is the last onee
if(prev_found) {
// current url is the last, hence there is no "next" page
set_prev_next(prev_found, null);
return false; // stop looping
}
console.warn("could not find the url of this page in the list of urls");
}
prev = curr;
})
});
/*
* Function to show a dropdown menu instead of a list
* It will be used on small screen sizes like tablets and mobiles.
*/
$(function() {
// Create the dropdown base
var $select = $("").appendTo(".sub-nav");
// Populate dropdown with menu items
$(".sub-nav li").each(function() {
// the current list item
var $li = $(this);
var $link = $li.find('a:first');
// is this a single node? or does it has any children?
if (!$li.find('ul').length) {
var $option = $("", {
"value" : $link.attr('href'),
"text" : $link.text()
}).appendTo($select);
if (window.location.pathname == '/documentation/' + $link.attr('href')) $option.prop('selected', true);
}
else {
// we want to add the group all the children
var $group = $('
