diff options
| author | Christian Raue <christian.raue@gmail.com> | 2014-07-23 22:30:48 +0400 |
|---|---|---|
| committer | Christian Raue <christian.raue@gmail.com> | 2014-07-23 22:30:48 +0400 |
| commit | 9e5cae9504c6552900c287ae9db53d82b7329332 (patch) | |
| tree | faf4b53f894acb45d24c9f2c1b8698d52d730cfa /core/Menu | |
| parent | d9adcfe6169c6c10059a670f2ed984908eb4e105 (diff) | |
reduced multiple empty lines to exactly one
Diffstat (limited to 'core/Menu')
| -rw-r--r-- | core/Menu/MenuMain.php | 1 | ||||
| -rw-r--r-- | core/Menu/MenuTop.php | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/core/Menu/MenuMain.php b/core/Menu/MenuMain.php index aed7760752..5f27f3229e 100644 --- a/core/Menu/MenuMain.php +++ b/core/Menu/MenuMain.php @@ -8,7 +8,6 @@ */ namespace Piwik\Menu; - /** * @deprecated since 2.4.0 * @see MenuReporting diff --git a/core/Menu/MenuTop.php b/core/Menu/MenuTop.php index 86fc1ab0c6..55c09c57af 100644 --- a/core/Menu/MenuTop.php +++ b/core/Menu/MenuTop.php @@ -9,7 +9,6 @@ namespace Piwik\Menu; use Piwik\Piwik; - /** * Contains menu entries for the Top menu (the menu at the very top of the page). * Plugins can implement the `configureTopMenu()` method of the `Menu` plugin class to add, rename of remove |