wp/wp-admin/js/custom-header.js
changeset 5 5e2f62d02dcd
parent 0 d970ebf37754
child 9 177826044cd9
--- a/wp/wp-admin/js/custom-header.js	Mon Jun 08 16:11:51 2015 +0000
+++ b/wp/wp-admin/js/custom-header.js	Tue Jun 09 03:35:32 2015 +0200
@@ -1,3 +1,4 @@
+/* global isRtl */
 (function($) {
 	var frame;