File Editor
Directories:
.. (Back)
Files:
cookie.php
custom-filter.php
from-notfrom.php
from-url.php
http-header.php
ip.php
language.php
login.php
page.php
referrer.php
server.php
url.php
user-agent.php
user-role.php
Create New File
Create
Edit File: cookie.php
<?php require_once dirname( __FILE__ ) . '/http-header.php'; /** * Check that a cookie value exists */ class Cookie_Match extends Header_Match { public function name() { return __( 'URL and cookie', 'redirection' ); } public function is_match( $url ) { if ( $this->regex ) { $regex = new Red_Regex( $this->value, true ); return $regex->is_match( Redirection_Request::get_cookie( $this->name ) ); } return Redirection_Request::get_cookie( $this->name ) === $this->value; } }
Save Changes
Rename File
Rename