Comment

2025-08-16 11:34:10 +02:00 · 2011-08-11 17:06:42 +02:00
parent 5a58d35405
commit 75783421f1
12 changed files with 14 additions and 20 deletions
--- a/plugins/wymeditor.php
+++ b/plugins/wymeditor.php
@@ -7,11 +7,8 @@
 * @license http://www.gnu.org/licenses/gpl-2.0.html GNU General Public License, version 2 (one or other)
 */
 class AdminerWymeditor {
-	/** @var array @access protected */
-	var $scripts;
-	
-	/** @var string @access protected */
-	var $options;
+	/** @access protected */
+	var $scripts, $options;
 	
 	/**
 	* @param array