Personal/cops
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Merge branch 'master' of github.com:glls/cops

Browse source
This commit is contained in:
George Litos 2015-06-03 13:54:58 +03:00
parent 7f79e02b05 a141fb50c4
commit beae2d8bec
1 changed files with 2 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
base.php
View file

@ -332,14 +332,9 @@ function addURLParameter($urlParams, $paramName, $paramValue) {
function useNormAndUp () {
global $config;
return $config ['cops_normalized_search'] == "1";
// return extension_loaded('mbstring') &&
// extension_loaded('intl') &&
// class_exists("Normalizer", $autoload = false) &&
// $config ['cops_normalized_search'] == "1";
}
function normalizeUtf8String( $s)
{
function normalizeUtf8String( $s) {
include_once 'transliteration.php';
return _transliteration_process($s);
}