cosmocode/navi — pull request #7 by selfthinker (2012-10-26 20:27:24+00:00)
Title: make real `$ID` possible in other plugins

The overwriting of the global `$ID` in https://github.com/cosmocode/navi/blob/master/syntax.php#L148 is causing trouble. It makes it impossible to get the real `$ID` in other plugins when using this plugin.