Типы для php-lint v2
This commit is contained in:
parent
f570da257d
commit
6173eb4892
31 changed files with 83 additions and 76 deletions
|
|
@ -158,7 +158,7 @@ class Path
|
|||
}
|
||||
|
||||
// Сравнение двух путей на равентство
|
||||
public function equal(/*.Path.*/ $path)
|
||||
public function equal($path/*: Path*/)
|
||||
{
|
||||
if (count($this->path) == count($path->path)) {
|
||||
for ($i = 0; $i < count($this->path); $i++) {
|
||||
|
|
@ -202,7 +202,7 @@ class Path
|
|||
*
|
||||
* @return boolean
|
||||
*/
|
||||
public function isParent(/*.Path.*/ $path)
|
||||
public function isParent($path/*: Path*/)
|
||||
{
|
||||
if (isset($this->url['host']) && isset($path->url['host'])
|
||||
&& ($this->url['host'] != $path->url['host'])) return false;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue