From 64d73e9b9d4a5c2e0936bc092d9b6afde2bba6bd Mon Sep 17 00:00:00 2001 From: nbm Date: Wed, 23 Nov 2005 19:12:40 +0000 Subject: [PATCH] plugin.php gives plugins a place to put pages that aren't actions or admin pages (for example, a page for a user to manage their subscriptions) --- plugin.php | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+), 0 deletions(-) create mode 100644 plugin.php diff --git a/plugin.php b/plugin.php new file mode 100644 index 0000000..71fe471 --- /dev/null +++ b/plugin.php @@ -0,0 +1,21 @@ +getPage($sPath); +if (empty($oPage)) { + print "Accessing unregistered resource"; + exit(1); +} + +$oPage->dispatch(); -- libgit2 0.21.4