Code Duplication    Length = 11-11 lines in 2 locations

lib/textmark/textmark.php 2 locations

@@ 1232-1242 (lines=11) @@
1229
		);
1230
	}
1231
1232
	function _do_php_variable($matches)
1233
	{
1234
		//		\ICanBoogie\log('## \1 ## \2', __FUNCTION__, $matches);
1235
1236
		if ($matches[1] == '->')
1237
		{
1238
			return '->' . $this->hashPart('<span class="variable">' . $matches[2] . '</span>');
1239
		}
1240
1241
		return $this->hashPart('<span class="variable">' . $matches[0] . '</span>');
1242
	}
1243
1244
	function _do_php_reserved($matches)
1245
	{
@@ 1259-1269 (lines=11) @@
1256
		//		return $this->hashPart('<span class="function">' . $matches[1] . '</span>(', 'F');
1257
	}
1258
1259
	function _do_php_function($matches)
1260
	{
1261
		//		\ICanBoogie\log('## \1 ## \2', __FUNCTION__, $matches);
1262
1263
		if ($matches[1]{0} == '$')
1264
		{
1265
			return $matches[0];
1266
		}
1267
1268
		return $this->hashPart('<span class="function">' . $matches[1] . '</span>', 'F'). '(';
1269
	}
1270
1271
	function _do_php_symbol($matches)
1272
	{