var page__widgets_8php =
[
    [ "pagelist_widget", "page__widgets_8php.html#a39d547771c5f12a17c097436c82f0fa2", null ],
    [ "writepages_widget", "page__widgets_8php.html#a1a1e729da27f252cab6678288a17958f", null ]
];